looking for the next transition in DFA