Finite Automata and Isomorphism Types