Изменения

}}

* Нетерминалы обозначаются заглавными буквами латинского алфавита.

* Терминалы обозначаются строчными буквами из начала латинского алфавита.

* Последовательности из терминалов и нетерминалов обозначаются строчными буквами из начала греческого алфавита.

<tex>\Sigma = \{(, )\}</tex>;

<br/>

[[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|Левосторонний вывод]] этой же строки: <tex>S \rightarrow SOS \rightarrow 2OS \rightarrow 2+S \rightarrow 2+SOS \rightarrow 2+2OS \rightarrow 2+2*S \rightarrow 2+2*2</tex>.

* ''Хопкрофт Д., Мотвани Р., Ульман Д.'' — '''Введение в теорию автоматов, языков и вычислений''', 2-е изд. : Пер. с англ. — Москва, Издательский дом «Вильямс», 2002. — 528 с. : ISBN 5-8459-0261-4 (рус.)

[[Категория: Теория формальных языков]]

[[Категория: Контекстно-свободные грамматики]]