Изменения

Перейти к: навигация, поиск
Описание
* '''Шаг 2.''' Затем, пока очередь не пуста выполняем следующие действия:
** Достаем из очереди множество, назовем его <tex>q</tex>
** Для каждого всех <tex>c \in \Sigma</tex> посмотрим в какое состояние ведет переход по этому символу <tex>c</tex> для из каждого состояния из в <tex>q</tex>. Полученное множество состояний положим в очередь <tex>Q</tex> только если оно не лежало там раньше. Каждое такое множество в итоговом ДКА будет отдельной вершиной, в которую будут вести переходы по соответствующим символам.
** Если в множестве <tex>q</tex> хотя бы одна из вершин была терминальной в НКА, то соответствующая данному множеству вершина в ДКА также будет терминальной.
* Конец.
Анонимный участник

Навигация