加了3.7.3(4)的最小化DFA