Modified MINIMIZE-AUTOMATON according to new representation.
Added function (SETF STATE-NAME) so that a state can be named or renamed.
Added function for assigning GENSYMed names to every state of an automaton.