Introduce aliases.  This can help producing more readable automata, and also answers some of Joachim Klein's suggestions.