nfa -> dfa program