nfa to dfa example