added test automaton