Изменения

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