"automata" . . "automata" . .