Изменения

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