DFA的最小化实验