Make sure the states are named before transition information is extracted.
Added comment related to the extration of information from the automaton.