DFA算法