DFA最小化算法