NFA 由以下组成:
- 有穷的状态集合S
- 输入符号表
- 转换函数 move(state,edge):state
- 仅有s0 初始状态
- F状态集合为终止状态集合
NFA可以用转换图表示。
也对应转换表+初始状态0;终止状态3
move转换函数只需转换表
路径:
转换图中,从起点状态到终点状态的序列称为路径。 边上的值就是该转换图能接受的一种输入。
一个转换图可以拥有多个终止状态也就是拥有多条路径。
对应aabb这种输入
DFA有以下组成:
- 没有一个转换参数是epsilon空边的
- 每个状态的出边唯一(输入符号c后只能到达唯一一个目标状态)
DFA也可以用转换图表示
DFA的转换表与NFA的类似,不同是表格中的值仅只有一个状态。
转换表
转换表在字符集多与状态集的时候会有太多的冗余