Изменения

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