sun编译原理第3章词法分析及有穷自动机(第5-8讲).ppt

例：试求与下图所示NFA等价的化简了的DFA。 —— J是从状态子集I中的每个状态出发，经过标记为a的弧而达到的状态集合。 —— Ia是状态子集,其元素为J中的状态，加上从J中每一个状态出发通过ε弧到达的状态。 定义2: 状态子集的构造： s∈I 例：令I={1}，求Ia=? Ia=ε-closure(J) =ε-closure(T(1，a)） =ε-closure({2，4}） ={2，4，6} 5 6 4 3 2 a ε a a ε 1 令I是NFA M’的状态集的一个子集, a∈Σ 定义: Ia=ε-closure(J) 其中J = ∪T(s,a) 例：有NFA M，求DFA M’。 a 1 2 3 4 start a b a c c ε I Ia Ib Ic {1,4} {2,3} φ φ {2,3} {2} {4} {3,4} {2} {2} {4} φ {4} φ φ φ {3,4} φ φ {3,4} 初态 I=ε-closure({1})={1,4} Ia=ε-closure(T(1,a)∪T(4,a)) = ε-closure({2,3}∪φ） = ε-closure ({2,3}) ={2,3} Ib= ε-closure(T(1,b)∪T(4,b)) = ε-closure(φ） =φ Ic= ε-closure(T(1,c)∪T(4,c)) = φ I={2,3}, Ia={2},Ib={4},Ic={3,4}… … DFA的状态 P42 符号 状态 a b c 0 2 3 4 1 2 2 1 _ _ _ _ _ _ _ _ 3 3 4 4 ● DFA M’状态表 将求得的状态转换矩阵重新编号 start 0 1 4 2 3 {1,4} {2,3} {4} {2} a c a b b c {3,4} I Ia Ib Ic {1,4} {2,3} φ φ {2,3} {2} {4} {3,4} {2} {2} {4} φ {4} φ φ φ {3,4} φ φ {3,4} 包含NFA终态的状态子集全都是DFA的终态。 ■ DFA的化简 自动机理论中的结论： 对于任一个DFA M，存在一个唯一的状态最少的等价的DFA M’ 即：一个有穷自动机可以通过消除多余状态和合并等价状态而转换成一个最小的与之等价的有穷自动机。 等价状态 状态s和t的等价条件是: 1) 状态s和t必须同时为可接受状态或非接受状态。 2) 对于所有输入符号,状态s和t必须转换到等价的状态里。 确定等价状态通常采用逆向思维：不直接寻找相互等价的状态，而是先确定互不等价的状态，即“可区别的状态”。当所有的互不等价的状态都被确定之后，那些不符合不等价条件的状态就是相互等价的状态了。 例:将该DFA最小化 5 7 2 4 3 6 1 srart a a a a a a a b b b b b b b 状态集的划分 将所有DFA的终态与其它状态划分成两个子集G1,G2; 分别从两个子集G1,G2中寻找不等价状态进行分割。 “分割法”：把一个DFA(不含多余状态)的状态分割成一些不相关的子集，使得任何不同的两个子集状态都是可区别的，而同一个子集中的任何状态都是等价的. 解: (一)区分终态与非终态 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 a b 5 6 7 3 7 4 1 4 2 a b 1 2 3 4 6 3 7 3 1 5 4 6 2 3 1 区号 5 7 2 4 3 6 1 srart a a a a a a a b b b b b b b 将所有DFA的终态与其它状态划分成两个子集 区号 1 2 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 a b 1 2 4 3 1 2 4 3 1 2 3 4 5 6 6 3 7 3 1 5 4 6 7 3 7 4 1 4 2 a b 5 1