nfa-to-dfa set fix