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