---- # automata