Automata -> automaton