Изменения

Если в исходной грамматике <tex>G</tex> есть правило выводится пустое слово <tex>S \rightarrow mathcal {f} \varepsilon\mathcal {g}</tex> и <tex>S</tex> встречается в правых частях, то для того, чтобы получить эквивалентную грамматику без <tex>\varepsilon</tex>-правил, необходимо после применения описанного выше алгоритма добавить новый нетерминал <tex>S'</tex>, сделать его стартовым, добавить правила <tex>S' \rightarrow S|\varepsilon</tex>.