青岛理工大学计算机工程学院编译原理课件 第3章(1).pptVIP

输入：一个NFA N 输出：一个接受（识别）相同语言的DFA M 方法：利用构造 ε –闭包的方法将NFA确定化 为DFA。 1. 状态集合 I 的 ε –闭包的概念。 设I是NFA N的一个状态子集, ε – closure(I)定义 如 下： (1) 若s∈I , 则 s∈ε – closure(I) (2) 若s∈I ,那么从s出发经过任意条ε弧而能到达的任何状态 s，都属于ε – closure(I) 3.4.4 NFA确定化为DFA的方法 由定义可知, ε – closure(I) 表示所有那些从I中的元素出发经过 ε 道路所能到达的NFA的状态所组成的集合, I中任何状态也在其中，因为它们是通过 ε 通路到达自身的。该集合对DFA来说是一个状态。 3.4.4 NFA确定化为DFA的方法 ε – closure({0})={0,1,2,3}, 即{ 0,1,2,3} 中的任一状态都是从NFA的初态0出发， 经任意条ε道路可到达的状态。 通过下图理解状态集合 I 的 ε 一闭包。 这个状态集合实际就是要求的DFA的初态。 0 1 2 3 4 5 6 7 8 9 ε ε ε ε ε ε ε b b 3.4.4 NFA确定化