编译原理词法分析--有穷自动机-算法-NFA确定化.pptVIP

YTU COMPILER NFA的确定化 DFA和NFA的区别 初态是否唯一 转换函数是否为单值映射 例: NFA的确定化 1) 状态集合I的ε-闭包 2) 状态集合I的a弧转换 子集法 解题过程见黑板 I Ia Ib S0={0,1,2,4,7} {1,2,3,4,6,7,8}=S1 1,2,4,5,6,7=S2 S1={1,2,3,4,6,7,8} S1 1,2,4,5,6,7,9=S3 S2={1,2,4,5,6,7} S1 S2 S3=1,2,4,5,6,7,9 S1 1,2,4,5,6,7,10=S4 S4=1,2,4,5,6,7,10 S1 S2 约定: NFA若以状态转换图(矩阵)给出， 确定化后的DFA也以状态转换图(矩阵)给出。 NFA的确定化 – 子集法 定义对状态集合I的几个有关运算 1) 状态集合I的ε-闭包 2) 状态集合I的a弧转换 1). 状态集合I的ε-闭包 ε-closure(I) 若q∈I,则 q∈ε_CLOSURE(I)； 若q∈I,则 从q出发经任意条ε弧而能到达的任何状态q′都属于ε_CLOSURE(I)； 补充例 I＝{1}, ε-closure(I)={1, 2} I＝{5}, ε-closure(I)={5, 6, 2} I＝{1, 5}, ε-closure(I)={1, 2, 5, 6} 1 8 ε a a a 2 4 5 6 7 3 ε ε ε ε 例 ε-closure({0}) = {0,1,2,4,7} ε-closure({3,8}) = {3,6,1,2,4,7,8} 2).状态集合I的a弧转换 Ia I＝{s1, s2,…, sj} move(I,a) = δ(s1, a)? δ(s2, a)?…? δ (sj, a) Ia =ε_CLOSURE(move(I,a)) 1 8 ε a a a 2 4 5 6 7 3 ε ε ε ε 例 I = {1，2} Ia =ε-closure( move(I,a) ) =ε-closure( δ(1, a)? δ(2, a) ) =ε-closure( {5, 4, 3} ) = {5, 4, 3, 6, 2, 7, 8} 1 2 5 4 3 状态集合I的a弧转换 Ia Ia子集是从子集I出发，经过一条a弧（可以跳过任意条?弧）而到达的状态的集合。 子集法的算法 假定所构造的子集族为C，C = (T1, T2,... Ti), T1,... Ti为状态S的子集。 ① 令e-closure(X)为C中唯一成员， 且它是未被标记的 ② while ( C中存在尚未被标记的子集T) do { 标记T； for 每个输入字母a do { U:= Ta； if U不在C中 then  　　 将U作为未标记的子集加在C中  } } 定理 对于每个NFA M, 存在一个DFA M′, 使 L(M) = L(M′) 。 课堂练习 YTU COMPILER