Изменения

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