Изменения
→Пример
#Достаём из очереди множество <tex>\{1\}</tex>: <tex>Q = \{\}</tex>.
#<tex>q_d(\{1\}, a) = \{1, 2\}</tex>, клаёдм множество <tex>\{1, 2\}</tex> в очередь: <tex>Q = \{\{1, 2\}\}</tex>.
#<tex>q_d(\{1\}, b) = \{1\}</tex>, нам не надо класть множество <tex>\{1\}</tex> в очередь, т.к. так как оно уже там было.
#Достаём из очереди множество <tex>\{1, 2\}</tex>: <tex>Q = \{\}</tex>.
#<tex>q_d(\{1, 2\}, a) = \{1, 2\}</tex>, нам не надо класть множество <tex>\{1, 2\}</tex> в очередь, т.к. так как оно уже там было.#<tex>q_d(\{1, 2\}, b) = \{1, 2\}</tex>, нам не надо класть множество <tex>\{1, 2\}</tex> в очередь, т.к. так как оно уже там было.
#Помечаем все терминальные вершины, в данном случае — <tex>\{1, 2\}</tex>.
В итоге получаем ДКА, эквивалентный исходному: [[Файл:NKA_algorithm.jpg]].
