DFA算法实现