Conjugation of Automata theory