271
правка
Изменения
→Приведение грамматики к ослабленной нормальной форме Грейбах
==Приведение грамматики к ослабленной нормальной форме Грейбах==
{{Теорема
|statement=Любую контекстно-свободную грамматику можно привести к ослабленной нормальной форме Грейбах.
|proof=
АРВАВ
}}
Приведем алгоритм, позволяющий для к.с. грамматики '''без ε-правил''' построить эквивалентную ей к.с. грамматику (без ε-правил), содержащую только правила вида <tex>A \rightarrow a \alpha</tex>.