2.3.4 DFA的状态最小化