Изменения

Автоматы называются '''изоморфными''' (англ. ''isomorphic''), если существует [[http://neerc.ifmo.ru/wiki/index.php?title=%D0%9E%D1%82%D0%BE%D0%B1%D1%80%D0%B0%D0%B6%D0%B5%D0%BD%D0%B8%D1%8F#.D0.A1.D0.B2.D0.BE.D0.B9.D1.81.D1.82.D0.B2.D0.B0_.D0.BE.D1.82.D0.BE.D0.B1.D1.80.D0.B0.D0.B6.D0.B5.D0.BD.D0.B8.D0.B9 | биекция]] между их вершинами такая, что сохраняются все переходы, терминальные состояния соответствуют терминальным, начальные {{---}} начальным