Бюрократы, editor, Администраторы
422
правки
Изменения
м
→Алгоритм удаления ε-правил из грамматики
== Алгоритм удаления ε-правил из грамматики ==
'''Вход:''' КС грамматика <tex> G=\langle N,\Sigma, P, S \rangle</tex>.<br/>
'''Выход:''' КС грамматика <tex> G'=\langle N,\Sigma, P', S \rangle</tex> без <tex>\varepsilon</tex>-правил (возможно может присутствовать правило <tex>S \rightarrow \varepsilon</tex>, но в этом случае <tex>S</tex> не встречается в правых частях правил). <tex>L(G') = L(G)</tex>.
# Добавить все правила из <tex>P</tex> в <tex>P'</tex>.
