整体思路 有穷自动机分为两类:
①不确定的有穷自动机(NFA)②确定的有穷自动机(DFA)【课堂补充笔记】
可以将一个NFA表示为一张表。 表的各行对应于各个状态,各列对应于输入符号和 ϵ \epsilon ϵ.
接受符号串一定需要其最后一个状态是接受状态
【课堂补充笔记】
考点:从正规式到DFA的转换。
转换过程: 首先求初态的E-closure().把求得的新集合当做DFA的初态。然后从这个初态集合出发,判断接受一个字符a以后能够到达哪些状态(定义为状态集合J)。在求E-closure(j),求得的新状态作为DFA的第二个状态。 继续循环这个过程 IIaIbS0A=E-closure(Move(s0,a))B=E-closure(Move(s0,b))AC=E-closure(Move(A,a))D=E-closure(Move(A,b))BE=E-closure(Move(B,a))F=E-closure(Move(B,b)) 化简: 如果从两个状态s和t出发,沿着标有相同符号x的路径到达两个状态,且只有一个状态是接受状态,那么就说串x区分状态s和t。化简的算法: ① 首先包含两个状态组一个是接受状态F,另一个组是非接受状态S-F. ② 然后对每个小组中的成员进行依次输入符号集中的符号,如果同一小组中的一些成员通过符号集中的符号,可以到达同一状态组(一定注意),那么将他们分为新的小组。 ③ 原先的组变成新组。 ④ 重复上述过程,直到所有小组不能再划分成新的小组。 最后一定要进行化简。 正规式的等价转化(等价公式)