. "automaton" . . . . "automaton" . .