2.3.3 DFA的状态规模