nfa -> dfa