205
правок
Изменения
м
→Поиск ε-порождающих нетерминалов
=== Поиск ε-порождающих нетерминалов ===
''Схема алгоритма:''
: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>-порождающий нетерминал.
