到DFA了