added some test automata