这种自动机在读任何输入序列后只能处在一个状态中
确定型,指的是:在每输入上,存在且仅存在一个状态,自动机可以从当前状态转移到这个状态。(此处对比非确定型,即可同时处在几个状态中)
NFA与DFA之间的唯一区别在于返回值的类型:在NFA的情况下,返回值是一个状态集合;而在DFA的情况下,返回值是单个状态。
确定型有穷自动机的定义
一个确定型有穷自动机包括:
1.一个有穷的状态集合,通常记作Q
2.一个有穷的输入符号集合,通常记作∑
3.一个转移函数,以一个状态和一个输入符号作为变量,返回一个状态。转移函数通常记作