第3章节 词法分析.ppt

◆构造NFA N的状态K的子集的算法： 假定所构造的子集族为C，即C= (T1, T2,,... TI),其中T1, T2,,... TI为状态K的子集。 1 开始，令?-closure(K0)为C中唯一成员，并且它是未被标记的。 2 while （C中存在尚未被标记的子集T）do { 标记T； for 每个输入字母a do { U:= ?-closure(move(T,a))； if U不在C中 then 将U作为未标记的子集加在C中 } } 1.M的状态集S由K的一些子集组成（构造K的子集的算法将在后面给出）。我们用[S1，S2…Sj]表示S的元素，其中S1，S2…Sj是K的状态。并且约定，状态S1,S2…Sj 是按某种规则排列的，即对于子集{S1，S2}={S2，S1}来说，S的状态就是[S1，S2]； 2. M和N的输入字母表是相同的，即是∑； 3.转换函数D是这样定义的： D（[S1，S2…Sj]，a）=[R1，R2…Ri] 其中ε-closure (move（[S1，S2…Sj]，a）)= [R1，R2…Ri] ； 4. S0= ε-closure（K0）为M的开始状态； 5. St={[Sj，Sk…Se]，其中[Sj，Sk…Se] ∈S且{Sj，Sk…Se} ∩kt≠Ф} 1. 首先计算?-closure(0)， 令T0= ?-closure(0)={0,1,2,4,7}，T0未被标记，它现在是子集族C的唯一成员 2. 标记T0； 令T1= ?-closure (move(T0,a))={1,2,3,4,6,7,8},将T1加入C中，T1未被标记 令T2= ?-closure (move(T0,b))={1,2,4,5,6,7},将T2加入C中，T2未被标记 3. 标记T1 计算?-closure (move(T1,a)) ,结果为{1,2,3,4,6,7,8},即T1，T1已在C中 计算?-closure (move(T1,b)) ,结果为{1,2,3,4,6,7,8,9},令其为T3, T3加入到C中，它未被标记 4. 标记T2； 计算?-closure (move(T2,a)) ,结果为{1,2,3,4,6,7,8},即T1，T1已在C中 计算?-closure (move(T2,b)) ,结果为{1,2, 4,5,6,7},即T2，T2已在C中 5. 标记T3； 计算?-closure (move(T3,a)) ,结果为{1,2,3,4,6,7,8},即T1，T1已在C中 计算?-closure (move(T3,b)) ,结果为{1,2, 4,5,6,7,10},令其为T４，加入C中，T4未被标记 6. 标记T4 计算?-closure (move(T4,a)) ,结果为{1,2,3,4,6,7,8},即T1，T1已在C中 计算?-closure (move(T4,b)) ,结果为{1,2, 4,5,6,7},即T2 T0={0,1,2,4,7} T1={1,2,3,4,6,7,8} T2={1,2,4,5,6,7} T3={1,2,4,5,6,7,9} T4={1,2,4,5,6,7,10} 那么例中的NFA构造的DFA为 1. S={[T0],[T1],[T2],[T3],[T4]} 2. ∑={a, b} 3. D([T0],a)=[T1] D([T3],a)=[T1] D([T0],b)=[T2] D([T3],b)=[T4] D([T1],a)=[T1] D([T4],a)=[T1] D([T1],b)=[T3] D([T4],b)=[T2] D([T2],a)=[T1] D([T2],b)=[T2] 4. S0=[T0] 5. St=[T4] 将[T0],[T1],[T2],[T3],[T4]重新命名后如下图所示： 定义1 多余状态：从开始状态出发,任何输入串也不能到达的状态 0 1 s0 s1 s2 s3 s5 s7 s1 s5 s1 s2 s2 s5 s5 s1 s1 s3 s0 s1 0 1 s0 s1 s2 s3 s4 s5 s6 s7 s8 s1 s5