Added automata characters isomorphism checker