"automaton" . . . "automaton" .