nfa->dfa muunnos