299
правок
Изменения
→Корректность
===Корректность===
[http://www.researchgate.net/publication/255626373_Split_and_join_for_minimizing__Brzozowski%27s_algorithm]
==Пример работы==
* Исходный [[Недетерминированные конечные автоматы|НКА]] (<tex>FA</tex>):