add nfa2dfa