Изменения
→Пример
===Пример===
Пусть нам дан [[Недетерминированные конечные автоматы|недетерминированный конечный автомат]]: [[Файл:DKA.png|250px]]
[[Файл:DKA.png|250px]] По нашему заданию эквивалентного ДКА мы получаем: [[Файл:NKA_definition.png|250px]]
#Помещаем в очередь множество из одной стартовой вершины — <tex>\{1\}</tex>: <tex>Q = \{\{1\}\}</tex>.
#Помечаем все терминальные вершины, в данном случае — <tex>\{1, 2\}</tex>.
В итоге получаем ДКА, эквивалентный исходному: [[Файл:NKA_algorithm.png|250px]].
== См. также ==
