299
правок
Изменения
Нет описания правки
===Корректность===
==Пример работы==
* Исходный [[Недетерминированные конечные автоматы|НКА]] (<tex>FA</tex>):
[[Файл:Fa.png|Исходный НКА]]
* Первый шаг алгоритма(<tex>rev(FA)</tex>):
[[Файл:Rfa.png|Первый шаг]]
* Второй шаг алгоритма(<tex>det(rev(FA))</tex>):
[[Файл:Drfa.png|Второй шаг]]
<tex>det()</tex> переименовывает состояния, после этого <tex>0</tex> всегда является начальным состоянием* Третий шаг алгоритма(<tex>rev(det(rev(FA)))</tex>):
[[Файл:Rdrfa.png|Третий шаг]]
После выполнения этого шага алгоритма оба состояния <tex>2</tex> и <tex>3</tex> являются начальными.* Заключительный шаг алгоритма(<tex>det(rev(det(rev(FA))))</tex>):
[[Файл:Drdrfa.png|Заключительный шаг]]
