/automaton/
