编译原理07研讨.ppt

上次课程内容 3.5 自下而上语法分析 3.5.1 自下而上分析的基本方法 3.5.1.1 规范归约与“剪句柄” 3.5.1.1 规范归约与“剪句柄”（续1） 3.5.1.1 规范归约与“剪句柄”（续2） “剪句柄”： 3.5.1.1 规范归约与“剪句柄”（续3） 3.5.1.2 移进-归约分析器工作模式 3.5.1.2 移进-归约分析器工作模式（续1） 3.5.1.2 移进-归约分析器工作模式（续2） 3.5.2 LR分析 3.5.2 LR分析 3.5.2.1 LR分析与LR文法 3.5.2.1 LR分析与LR文法（续1） 3.5.2.1 LR分析与LR文法（续2） 3.5.2.1 LR分析与LR文法（续3） 上次课程内容回顾 3.5.2.2 构造SLR(1)分析器 3.5.2.2 构造SLR(1)分析器（续1） 3.5.2.2 构造SLR(1)分析器(续2) 3.5.2.2 构造SLR(1)分析器（续3） 3.5.2.2 构造SLR(1)分析器（续4） 3.5.2.2 构造SLR(1)分析器（续5） 3.5.2.2 构造SLR(1)分析器（续6） 3.5.2.2 构造SLR(1)分析器（续7） 3.5.2.2 构造SLR(1)分析器（续8） 3 如何识别活前缀 3.5.2.2 构造SLR(1)分析器（续9） 3 如何识别活前缀（续1） 3 如何识别活前缀（续2） 3 如何识别活前缀（续3） DFA如何识别活句子？ DFA如何识别活句子？ DFA如何识别活句子？ DFA如何识别活句子？ 4 SLR分析表的构造 4 SLR分析表的构造 分析表的构造 4 SLR分析表的构造（续1） 3.5.2.3 非SLR(1)文法 2 不是二义文法的非SLR(1)文法 3.5.2.4 基于LR分析的语法分析器生成器简介（略） 3.6 本章小结 3.6 本章小结（续1） 3.6 本章小结（续2） 本章结束 上次课程内容回顾 上次课程内容回顾 closure(I)的计算（教材79页） FIRST(F) = {-, id} FIRST(T) = {-, id} FIRST(E) = {-, id} FIRST(E)= {-, id} FOLLOW(E)= {#} FOLLOW(E) = {-, #} FOLLOW(T) = {*, -, #} FOLLOW(F) = {*, -, #} --id*id# FIRST(F) = {-, id} FIRST(T) = {-, id} FIRST(E) = {-, id} FIRST(E)= {-, id} FOLLOW(E)= {#} FOLLOW(E) = {-, #} FOLLOW(T) = {*, -, #} FOLLOW(F) = {*, -, #} --id*id# FIRST(F) = {-, id} FIRST(T) = {-, id} FIRST(E) = {-, id} FIRST(E)= {-, id} FOLLOW(E)= {#} FOLLOW(E) = {-, #} FOLLOW(T) = {*, -, #} FOLLOW(F) = {*, -, #} --id*id# 算法3.10 构造SLR分析表 输入 基于G的LR(0)项目集的、识别活前缀的DFA=(C, Dtran) 输出 若G是SLR(1)的，得到action和goto，否则指出一个错误 方法 按下述步骤构造分析表 1.if DFA中有不能解决的移进/归约和归约/归约冲突 then error; 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] :=