3
правки
Изменения
Нет описания правки
<tex>A \to a</tex>
----
Итак, приходим к следующему <big>'''алгоритму удаления <tex>\varepsilon</tex>-правил'''</big>:
# Пока есть <tex>\varepsilon</tex>-правило.(Обозначим его за <tex>A \to \varepsilon</tex>)<br /> Если <tex>A</tex> - стартовое состояние - ничего не делаем и переходим к пункту 1.
