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

这种自动机在读任何输入序列后只能处在一个状态中

确定型，指的是：在每输入上，存在且仅存在一个状态，自动机可以从当前状态转移到这个状态。（此处对比非确定型，即可同时处在几个状态中）

NFA与DFA之间的唯一区别在于返回值的类型：在NFA的情况下，返回值是一个状态集合；而在DFA的情况下，返回值是单个状态。

确定型有穷自动机的定义

一个确定型有穷自动机包括：

1.一个有穷的状态集合，通常记作Q

2.一个有穷的输入符号集合，通常记作∑

      3.一个转移函数，以一个状态和一个输入符号作为变量，返回一个状态。转移函数通常记作