"Reduction automata" . . . "Reduction automata" .