3622
правки
Изменения
м
→Построение автомата
==== Построение автомата ====
Теперь обсудим алгоритм построения конечного автомата. Обозначим <tex>T</tex> множество состояний, <tex>E</tex> {{---}} множество переходов.
# Изначальное состояние содержит одно правило: <tex>E_0 \to E</tex>,.# Для текущего состояния делаем операцию <tex>closure</tex>,.# По всем возможный символам для каждой ситуации добавляем переходы, используя операцию <tex>goto</tex>,.
# Если множество <tex>T</tex> или <tex>E</tex> во втором или третьем пункте изменилось, возвращаемся ко второму шагу.
