Added automaton tests