more automata?