Automata and reductions