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