Изменения

=== Алгоритм ===

Будем проверять изоморфизм переходов для двух вершин(то есть если множество переходов по ребрам для двух вершин совпадают, то такие вершины изоморфны). Тогда если соответствующие вершины будут изоморфны, то два автомата изоморфны. Запустим обход в глубину из стартовых вершин, тогда две вершины изоморфны, если множество переходов по ребрам для двух вершин совпадают и концы соответствующих ребер изоморфны. Этот алгоритм пройдет по всем веришнам и ребрам, из этого следует время работы <tex>O(N + M) </tex>, где <tex> N</tex> суммарное число вершин в автоматах, <tex> M</tex> - суммарное число ребер.

== См. также ==