automata->automaton