Automata are reduced so that they can be checked visually.