Transitions should follow the actual transitions the dfa makes in running the string now