added Automaton tests