Изменения
→Пример
</tex>, в которой <tex>A</tex>, <tex>B</tex> и <tex>C</tex> являются <tex>\varepsilon</tex>-порождающими нетерминалами.
# Переберём для каждого правила все возможные сочетания ε-порождающих нетерминалов и добавим новые правила:
#* <tex>S\rightarrow Ad|ABd|ACd|Bd|BCd|Cd|d</tex> для <tex>S \rightarrow ABCd</tex>
#* <tex>B \rightarrow A|C</tex> для <tex>B \rightarrow AC</tex>
# Удалим праила <tex>A\rightarrow \varepsilon</tex> и <tex>C\rightarrow \varepsilon</tex>
