dfa与nfa有何区别