编译原理 第6章自底向上语法分析、LR分析程序及其自动构造 2编译原理 第6章自底向上语法分析、LR分析程序及其自动构造 2.pptVIP

SLR（1）的局限;? SLR 0）S`→S (1) S→aAd (2) S→bAc (3) S→aec (4) S→bed (5) A→e; ACTION GOTO a c e b d # S A 0 S2 S3 1 1 acc 2 S5 4 3 S7 6 4 S8 5 r5 r5S9 r5 r5 r5 r5 6 S10 7 r7 r7 r7 r7 r7 S11 r7 8 r1 r1 r1 r1 r1 r1 9 r3 r3 r3 r3 r3 r3 10 r2 r2 r2 r2 r2 r2 11 r4 r4 r4 r4 r4 r4;（0）S`→S (1) S→aAd (2) S→bAc (3) S→aec (4) S→bed (5) A→e;例6.6G[S]:(0) S`→S (1) S→L=R (2) S→R(3) L→ *R (4) L→id (5) R→L;I2: S – L? = R R – L? ;SLR（1）的局限;.; LR（1）项目( 配置）的一般形式 [ A ?? . ?， a ] 意味着处在栈顶是?的相应状态，期望相应?在栈顶的状态，然后只有当跟在?后的token是终结符a时进行归约 。 a 称作该项目( 配置） 的向前搜索符（ lookahead ） 向前搜索符（ lookahead ）只对圆点在最后的项目起作用 A – ? ? ?, a .意味着处在栈中是? ?的相应状态，但只有当下一个输入符是a时才能进行归约. a 要么是一个终结符，要么是输入结束标记# 有多个向前搜索符，比如a,b,c时，可写作 A – u?, a/b/c ; 构造LR(1)项目集规范族和G0函数;例6.5的LR(1)项目集规范族;规范的LR(1)分析表的构造;LR(1) 文法满足下面两个条件 1.如果一个项目集里有项目 [A – u?xv , a] ， x是终结符，那就不会有项目[B – u?, x] 2.项目集里所有归约项目 的向前搜索符不相交，即不能同时含有项目 [A – u?, a] 和[B – v ?, a] ;LR（K）项目 [ A ?? . ?， a1 a2 …… aK ] ;LR(1)比SLR（1）能力强;I1:S’?S ?,#;每个SLR（1）文法都是LR（1）的，一个SLR（1）文法的规范LR分析器比其SLR（1）分析器的状态要多。;I0:S’ ??S,# S ??BB,# B ??aB,a/b B ??b,a/b ;LALR—在SLR（1）和LR（1）间寻找折衷办法（状态数目，分析能力）;构造 LALR(1)分析表.方法1;LR（1）项目集不存在动作冲突，合并同心集后会不会产生新的冲突（移进-归约，归约-归约） 不会产生新的移进-归约冲突（讨论见讲