Изменения

{{Определение

|definition=Грамматикой в '''ослабленной нормальной форме Грейбах''' (''Greibach weaked normal form'') называется [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная грамматика]], в которой могут содержатся правила только следующего вида:

<tex> S \rightarrow \varepsilon </tex>,

где <tex> a </tex> {{---}} терминал, <tex> A </tex> {{---}} нетерминал, <tex> S </tex> {{---}} стартовая вершина, <tex> \varepsilon </tex> {{---}} пустая строка, <tex> \gamma </tex> {{---}} строка из произвольного количества терминалов и нетерминалов, стартовая вершина не содержится в правых частях правил.

}}

==Алгоритм приведения грамматики к ослабленной нормальной форме Грейбах==

Приведем алгоритм, позволяющий для к.с. грамматики '''без &epsilon;-правил''' построить эквивалентную ей к.с. грамматику (без &epsilon;-правил), содержащую только правила вида <tex>A \rightarrow a \alpha</tex>.