. . "finite automata" . "finite automata" .