Изменения
Опечатка в правилах вывода из S в шагах 4 и 5
{{Определение
|definition=Грамматикой в '''нормальной форме Грейбах ''' (англ. ''Greibach normal form'') называется [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная грамматика]], в которой содержатся могут содержаться только правила видаодного из следующих типов::<tex>A \rightarrow a B C \gamma </tex>
:<tex>A S \rightarrow \varepsilon </tex>где <tex> a B</tex>{{---}} терминал, <tex> A </tex> {{---}} нетерминал (возможно, стартовый), <tex> S </tex> {{---}} стартовый нетерминал (причём он не должен встречаться в правых частях правил), <tex> \varepsilon </tex> {{---}} пустая строка, <tex> \gamma </tex> {{---}} строка из не более, чем двух нетерминалов.}}
{{Определение|definition=Грамматикой в '''ослабленной нормальной форме Грейбах''' (англ. ''Greibach weak normal form'') называется [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная грамматика]], в которой могут содержаться только правила одного из следующих типов::<tex>A \rightarrow a\gamma </tex>
}}
}}