name automata