DFA的最小化—例子