编译原理第4章小结网.ppt

本章小结 1. 算符优先分析法特别适合于分析算 术表达式,但不是专用于分析算术表 达式的。 本章小结 (2) 对算符文法G，计算每个非终结 符的 FIRSTVT 和 LASTVT集。 本章小结 (4) 若任意两个终结符之间至多只有 、 、 三种关系的一种成 立，则G是一个算符优先文法。 本章小结 本章小结 4. 求最左素短语的方法 本章小结 5. 根据优先关系定义构造优先关系表 的方法。 本章小结 本章小结 S 本章小结 本章小结 E 本章小结 例3 设有表格结构文G[S]： 本章小结 计算文法G[S]的FIRSVT集和LASTVT集如下: 本章小结 本章小结 寻找终结符在左边，非终结符在右边的符号对有 本章小结 文法G[S]的优先关系表如下表所示 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 S →S(S.) S →S.(S) I0: S→·S S →·S(S) S →· I1: S→S. I2: I4: S →S(S)· S ( S ( ) 0. S→S S →S(S) S → ε S →S.(S) S →·S(S) S →· S →S(.S) I3: A A i B B + C C C ( 短语: C+C i ( C+C C ( 句柄: C 素短语: C+C ( 例2 设有文法G[E]: E →ET+ | T T →TF* | F F →F↑ | a 给出句型FF↑↑*的所有短语、句柄和素 短语。 分析 首先画出句型的语法树 T T F * F ↑ F F ↑ 根据语法树求短语 FF↑↑* F↑↑ F↑ F 素短语 F↑ 句柄 F S → a | ∧| (T) T → T, S | S (1)计算文法G[S]的FIRSTVT集和 LASTVT集。 (2) 构造G[S]的优先关系表，并判断G[S] 是否算符优先文法。 FIRSTVT(A)={b | A b…或A Bb…, b∈VT , B∈VN } ? + ? + LASTVT(A)={a | A …a 或A …aB, a∈VT, B∈VN } ? + ? + S T LASTVT FIRSTVT S → a | ∧| (T) T → T, S | S { a, ∧, ( } { a, ∧, ) } { , ,a,∧,( } { , ,a,∧,) } 寻找非终结符在左边，终结符在右边的符号对有 T ) LASTVT(T) ) . T , LASTVT(T) , . ( T ( FIRSTVT(T) . , S , FIRSTVT(S) . 见表 a ∧ , ( ) ) ( , ∧ a . . . . . . . . . . . . . . . = . 返回 S → a | ∧| (T) T → T, S | S 文法G[S]是一个算符优先文法。因为文法G[S]的任何规则右部都不含两个相邻的非终结符,并且任何两个终结符之间至多只存在一种优先关系。 (二) 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)分析表中不含