自动机理论、语言和计算导论---有穷自动机：确定型有穷自动机（DFA）