205
правок
Изменения
м
По данной произвольной КС-грамматике {{Определение|definition = Нетерминал <tex>GA</tex> часто бывает удобно строить новую КС-грамматику называется <tex>G'\varepsilon</tex> без -порождающим, если <tex>A \Rightarrow^* \varepsilon</tex>-правил, эквивалентную исходной.}}
→Основные определения
:(2) есть точно одно <tex>\varepsilon</tex>-правило <tex>S \to \varepsilon</tex> и <tex>S</tex> не встречается в правых частях остальных правил из <tex>P</tex>.
}}
==Алгоритм удаления ε-правил==
:''Вход''. КС-грамматика <tex> G=(N,\Sigma, P, S)</tex>.
