26
правок
Изменения
м
Нет описания правки
(где <tex>a</tex> - терминал, <tex>A, B, C</tex> - нетерминалы)
и, быть можетвозможно, правило <tex>S \rightarrow \epsilon</tex> (где <tex>S</tex> - начальный символ)
}}
{{Определение
(где <tex>a</tex> - терминал, <tex>\alpha</tex> - строка из терминалов и нетерминалов)
и, быть можетвозможно, правило <tex>S \rightarrow \epsilon</tex> (в этом случае <tex>S</tex> - начальный символ и не содержится в правых частях правил)
}}
==Алгоритм приведения грамматики к ослабленной нормальной форме Грейбах==