Изменения

== Алгоритм удаления ε-правил из грамматики ==

=== Поиск ε-порождающих нетерминалов ===

:1) Если <tex>A \rightarrow \varepsilon</tex> — правило грамматики <tex>G</tex>, то <tex>A</tex> —<tex>\varepsilon</tex>-порождающий нетерминал.

:2) Если <tex>B \rightarrow C_1C_2...C_k</tex> — правило грамматики <tex>G</tex>, где каждый <tex>C_i</tex> — <tex>\varepsilon</tex>-порождающий нетерминал, то <tex>B</tex> — <tex>\varepsilon</tex>-порождающий нетерминал.