编译原理07最新.ppt

* I0－I4：经路径L达到状态I4，存在移进归约冲突，此路径应板书 * * FIRST(F) = {-, id} FIRST(T) = {-, id} FIRST(E) = {-, id} FIRST(E)= {-, id} FOLLOW(E)= {#} FOLLOW(E) = {-, #} FOLLOW(T) = {*, -, #} FOLLOW(F) = {*, -, #} DFA如何识别活句子？ id--id*id# id--id*id# * FIRST(F) = {-, id} FIRST(T) = {-, id} FIRST(E) = {-, id} FIRST(E)= {-, id} FOLLOW(E)= {#} FOLLOW(E) = {-, #} FOLLOW(T) = {*, -, #} FOLLOW(F) = {*, -, #} DFA如何识别活句子？ --id*id# * FIRST(F) = {-, id} FIRST(T) = {-, id} FIRST(E) = {-, id} FIRST(E)= {-, id} FOLLOW(E)= {#} FOLLOW(E) = {-, #} FOLLOW(T) = {*, -, #} FOLLOW(F) = {*, -, #} DFA如何识别活句子？ --id*id# * FIRST(F) = {-, id} FIRST(T) = {-, id} FIRST(E) = {-, id} FIRST(E)= {-, id} FOLLOW(E)= {#} FOLLOW(E) = {-, #} FOLLOW(T) = {*, -, #} FOLLOW(F) = {*, -, #} DFA如何识别活句子？ --id*id# * 4 SLR分析表的构造 算法3.10 构造SLR分析表 输入 基于G的LR(0)项目集的、识别活前缀的DFA=(C, Dtran) 输出 若G是SLR(1)的，得到action和goto，否则指出一个错误 方法 按下述步骤构造分析表 1.if DFA中有不能解决的移进/归约和归约/归约冲突 then error; * 4 SLR分析表的构造 else for 每个状态转移Dtran[i,x]=j loop if x∈T then action[i,x]:=Sj; else goto[i,x]:=j; end if; end loop; for 状态i的每个可归约项A→α. loop if S→ S. then action[i, #]:=acc; else for 每个a∈FOLLOW(A) loop action[i,a]:=Rk; end loop; end if; end loop; end if; 2. DFA的初态（S→.S所在的状态），是分析表的开始状态。 ■ action[i, a] := sj goto [i, A] := k * 分析表的构造 4 SLR分析表的构造（续1） 每个状态转移Dtran[i,x]=j： action[i,x]:=Sj; 或 goto[i,x]:=j; 每个状态i的可归约项A→α.：action[i, #]:=acc; 或 action[i,a]:=Rk; id - * # E T F 0 1 2 3 4 5 6 7 8 9 10 1 2 3 s4 s5 s6 s7 s4 s5 s4 s5 8 9 3 10 acc r2 r2 r4 r4 r4 r6 r6 r6 r5 r5 r5 r1 r1 r3 r3 r3 s7 s4 s5 FOLLOW(E)= {#} FOLLOW(E) = {-, #} FOLLOW(T) = {*, -, #} FOLLOW(F) = {*, -, #} * 主线： 定义3.16 ——活前缀 定义3.17 ——LR（0）项目 定义3.18 ——closure(I） 定义3.19 ——goto（I，x) 算法3.9 ——DFA（核心： closure(goto（I，x)）） 定义3.20 ——核心项目与非核心项目 定义3.21 ——有效项目 冲突与解决冲突的方法 算法3.10 ——构造SLR分析表 * 3.5.2.3 非SLR(1)文法 1 二义文法不是SLR(1)文法