Изменения
Нет описания правки
Замечание: в данной реализации оба автомата обязательно должны иметь [[Детерминированные_конечные_автоматы#допускает|дьявольские состояния]].
== Источники информации ==
[[http://stackoverflow.com/questions/6905043/equivalence-between-two-automata/12623361#12623361|equivalence between two automata]]
== См. также ==
[[Минимизация_ДКА,_алгоритм_за_O(n%5E2)_с_построением_пар_различимых_состояний]]
[[Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))]]
