fixed infinite loop in nfa-to-dfa conversion