added test automata