涉及知识点:
NFA的确定化。
NFA的最小化。
1:NFA到DFA的确定化:
详情看这。下面概述:
1:求出每个状态的 ε 到达。
2:将对应到达进行合并:
3:根据表画图:
1:实例演示:
1:没啥说的,一看就清楚了。注意3对应的D是终态。
2:NFA到DFA的最小化。
详细看这,下面概述:
1:算法先把集合分成两个初始的集合,一个是接受状态,一个是非接受状态(接受状态就是含有终态的DFA状态,上面链接里面的S4,S6。和上面例子里面的D都是接受状态)。
2:通过不同的路径(a,b)进行划分,得到的结果是一样的,就在一个集合里面。划分完后再画图。
实例:
(这里通过划分,证明了原来的就是最小的DFA了,无法再划分了)