automata (1)