§24.2 确定的有限自动机（DFA）