DFA的化简分析