On Reducing Automata and Their Normalizations