Dfa Transition Graph Question