. "four-way automata" . . "four-way automata" .