correct nfa->dfa algorithm