206
правок
Изменения
→Пример
#<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]].
