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