nfa vs dfa example