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