"reducing automata" . . "reducing automata" . .