271
правка
Изменения
→Приведение грамматики к ослабленной нормальной форме Грейбах
#:Значит, после применения процедуры все правила грамматики будут иметь вид <tex> A \rightarrow a \alpha </tex>.
#Если <tex> \varepsilon </tex> присутствовал в языке старой грамматики, то добавим новый стартовый символ <tex> S' </tex> и правила <tex> S' \rightarrow S | \varepsilon </tex> в <tex> \Gamma_3 </tex>.
Таким образом мы получили грамматику <tex> \Gamma_3 </tex> в ослабленной нормальной форме Грейбах, которая допускает то же язык, что и <tex> \Gamma </tex>.
}}