第五章 语法分析4.ppt

5.4.3 LR(0)分析法的扩展 【例5.9】 G(Z): Z-aAb ；A-cd|? 【例5.10】 G(S): S-Aa|Bc ；A-d; B-d ; 5.5 语法分析方法综合示例 ⒊ 分析过程示意： 练习题: 【习题5.10】 解释下列词语： ⑴ 移进，归约冲突 ⑵ LR(0)句柄识别器,SLR(1)句柄识别器； ⑶ LR(0)文法， SLR(1)文法； ⑷ LR(0)与 SLR(1)分析器的组成。 【习题5.11】 P134_5 【习题5.12】 P135_7,8 * * i r(j),r(k) LR()分析法的关键技术是句柄识别器的设计问题；如果句柄识别器发生了冲突： 此时，LR(0)分析法失效! 需要改进句柄识别器的构造方法，于是出现了各种不同的 LR( )分析法。 【注】 下面仅通过实例探讨 LR(0)分析表 的简单扩展问题 --- 称为 SLR(1)分析法。 i k r(j) x 移进/归约冲突 归约/归约冲突 或 ⑴ 扩展文法， 构造句柄识别器： Z`- Z1(0) ; Z - a2A3b4(1) A - c5d6(2)|?7(3) G`(Z`): ※ 经确定化(消ε边)： ※ 句柄识别器出现冲突： ∵ ②:{c5,r(3),A3} ∴ 称为 移进/归约冲突！ 看到： {b}∩{c}=? ； 解决办法： 求：follow(A)={b} ∴ 若 w=c 则 c5 ; 若 w=b 则 r(3) 。 ※ 通过查看‘当前单词’，是否可以解决？为此： r(3) 0 + Z a A b OK r(1) r(2) c r(3) ? ① ② ③ ④ ⑤ d ⑥ ⑦ - Z`-Z(0) Z-aAb(1) A-cd(2) -?(3) SLR(1)分析表 b r(3) SLR(1)句柄识别器： ⑵ 扩展句柄识别器，构造SLR(1)分析表 d Z A 1 5 0 4 # 6 3 2 c b a r(2) d6 r(1) Z1 A3 OK a2 r(1) r(1) r(1) r(1) r(2) r(2) r(2) r(2) b4 c5 r(3) 注意与LR(0)分析表的区别！ 0 + Z a A b OK r(1) r(2) c ① ② ③ ④ ⑤ d ⑥ - ※ 如此可以解决冲突的文法，称为SLR(1)文法。 S`- S1(0) S - A2a3 ⑴| B4c5⑵ A - d6 ⑶ ; B-d7 ⑷ ⑴ 扩展文法， 构造句柄识别器： G`(S`): 即 若 w=a 则 r(3) ; 若 w=c 则 r(4) 。 ※ 求：follow(A)={a} ；follow(B)={c} 0 + S A a c OK r(1) r(4) d r(3) r(2) B ① ② ④ ⑤ ⑥ ③ ⑦ d 0 + S A a c OK r(1) ,r(4) d r(3) r(2) B ① ② ④ ⑤ ⑥ ③ ⑥ 确定化 ∵ :{ r⑶,r⑷ } ∴ 称为 归约/归约冲突！ ⑥ 非确定机 S`- S1(0) S - A2a3 ⑴| B4c5⑵ A - d6 ⑶ ; B-d6 ⑷ ⑵ 扩展句柄识别器，构造SLR(1)分析表 # A B 1 5 0 4 S 6 3 2 d c a r(2) r(1) OK A2 B4 r(2) r(2) r(2) S1 d6 c5 r(4) r(3) r(1) r(1) r(1) a3 注意与LR(0)分析表的区别！ SLR(1)分析表 ※ 通过查看当前单词，解决冲突： 0 + S A a c OK r(1) d r(2) B ① ② ④ ⑤ ③ ,r(4) r(3) ⑥ ⑥ - SLR(1)句柄识别器 a r⑶ r⑷ c G(Z)：Z - dAZ | bAc A - aA | c |ε 【例5.11 】 给定文法如下： Ⅰ. 递归子程序法； Ⅱ. LL(1)分析法； ※ 试分别用下述分析法，对给定的符号串进行语法分析： Ⅲ. LR(0)( 或SLR（1）)分析法； 设 给定的符号