Изменения

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

Навигация