编译原理（骆婷）第4章小结.pptVIP

1. 算符优先分析法特别适合于分析算 术表达式,但不是专用于分析算术表 达式的。 (2) 对算符文法G，计算每个非终结 符的 FIRSTVT 和 LASTVT集。 (4) 若任意两个终结符之间至多只有 、 、 三种关系的一种成 立，则G是一个算符优先文法。 4. 求最左素短语的方法 5. 根据优先关系定义构造优先关系表。 S E 例3 设有表格结构文法G[S]： 计算文法G[S]的FIRSVT集和LASTVT集如下: 寻找终结符在左边，非终结符在右边的符号对有 文法G[S]的优先关系表如下表所示 a ∧ , ( ) ) ( , ∧ a . . . . . . . . . . . . . . . = . 返回 本章小结 (二) LR分析法 大多数用上下文无关文法描述的语言都可以用相应的LR分析器予以识别。 1. LR分析法是一种规范归约分析法， 本章小结 2. 从给定的上下文无关文法构造LR分 析表的方法是： 对LR(1)或 LALR(1)分析表，构造 LR(1)项目集规范族。 (1)对LR(0)或 SLR(1)分析表，构造 LR(0)项目集规范族; 本章小结 (2)构造识别文法规范句型活前缀的DFA。 (3)将DFA转换成相应的LR分析表。 注意文法一定要拓广。 四种分析表的构造基本相同，仅对含归约项目的项目集构造分析表元素不同。 3. 四种LR文法的判别方法 (1)任何的二义性文法都不是LR类文法。 本章小结 ② SLR(1)文法是LR(0)项目集中所有含冲突的项目集都能用SLR规则解决冲突。 (或SLR(1)分析表中不含多重定义) (2)根据项目集中是否含冲突项目或相应分析表中是否含多重定义元素进行判断： ① LR(0)文法是所有的LR(0)项目集中没有移进一归约冲突或归约一归约冲突。(或LR(0)分析表中不含多重定义) 本章小结 SLR规则： I: { A→α .bβ B 1→ γ1. B2 → γ2. } {b} ∩FOLLOW(B1)=Φ FOLLOW(B1)∩FOLLOW(B2)=Φ {b} ∩FOLLOW(B2)=Φ a ∈ {b} 移进 a ∈ FOLLOW(B1) 用B 1→ γ1 归约 a ∈ FOLLOW(B2) 用B2 → γ2 归约 本章小结 ③ LR(1)项目集中无移进一归约冲突或归约一归约冲突。（或LR(1)分析表中不含多重定义） ④?LALR(1)项目集中无归约一归约冲突。(或LALR(1) 分析表中不含多重定义） 4.四种LR类文法之间的关系 注意搜索符只对归约项目起作用。 本章小结 一个文法是LR(0)文法一定也是SLR(1)文法，也是LR(1)、LALR(1)文法，反之则不一定成立。即 LR(0) ∩ SLR(1) LALR(1) LR(1) ∩ ∩ 例1 考虑文法 S→AS | b A→SA | a (1) 构造识别文法活前缀的DFA。 本章小结 (3) 该文法是SLR(1)的吗？若是，构造它  的SLR(1)分析表。 (2) 该文法是LR(0)文法吗？请说明理由。 (4) 该文法是LR(1)或LALR(1)文法吗？请 说明理由。 解：首先将文法拓广，并对规则进行编号 0. S →S 1. S →AS 2. S →b 3. A →SA 4. A →a 本章小结 (1) 识别文法活前缀的DFA如下图所示。 I0: S→·S S →·AS S →·b A →·SA A →·a S→S· A →S·A S →·b A →·SA A →·a S →·AS I1: S →·AS S →·b A →·SA A →·a S →A·S I2: S →·AS S →·b A →·SA A →·a A →SA· S →A·S I5: I3: S →b· I4: A →a· S →·AS S →·b A →·SA A →·a A →S·A S →AS· I6: S A b b b a a a A A a b S S A b a A 识别文法G[S]活前缀DFA (1) 识别文法活前缀的DFA如下图所示。 I0: S→·S S →·AS S →·b A →·SA A →·a S→S· A →S·A S →·b A →·SA A →·a S →·AS I1: S →·AS S →·b A →·SA A →·a S