# automaton