第5章 语法分析-自底向上(中国矿业大学).ppt

讨论： 把同心的项目集合并为一，有可能导致冲突， 不会出现新的移进- 归约冲突; 但可能引起 归约-归约冲突。 Ik:{[A???,u1] [B???a?,b] } a?u1=? Ij:{[A???,u2] [B???a?,c] } a?u2=? Ikj:[A???,u1/u2] [B???a?,b/c] a?{u1, u2}=? 例：下面文法是LR(1)的，但不是LALR(1)的。 S′ ? S S? aAd ?bBd ? aBe ?bAe A ?c B ?c [S′ ? ?S，#] [S ? ?aAd, #] [S ? ?bBd, #] [S ? ?aBe, #] [S ? ?bAe, #] [S′ ? S ? ，#] [S? a ? Ad, #] [S ? a ? Be, #] [A ? ?c, d] [B ? ?c, e] a S [S? b? Bd, #] [S ? b ? Ae, #] [A ? ?c, e] [B ? ?c, d] b A [S? a A ? d, #] B [S ? a B ? e, #] c [A ? c ?, d] [B ? c ?, e] [A ? c ?, e] [B ? c ?, d] c [A ?c?,e/d] [B?c?,e/d] 若合并同心集后项目集规范族无分析动作冲突，则此表称为LALR(1)分析表。相应的文法称为LALR(1)文法。 G(S′): (0) S′?S (1) S ?CC (2) C ?cC (3) C ?d LR(1)和LALR(1)分析上的差别? 构造的LR(1)分析表 构造的LALR(1)分析表 LR(1)和LALR(1)分析上的差别 输入：ccd# LR: 0 c 3 c 3 d 4 报错 LALR: 0 c 36 c 36 d 47 0 c 36 c 36 C 89 0 c 36 C 89 0 C 2 报错 思考：设有文法G,如何判定G属于哪类LR 文法？ LR分析中二义性文法的应用(简介)： 二义性文法描述句型分析十分简单，例如： E→E+E|E*E|E/E|E-E|(E)|i 描述了算术表达式四则运算，若采用LR分析方法进行分析这个文法的LR分析表体积小，分析器实现方便。 但是，二义性文法决不是LR文法，所以，构造的项目集规范族一定会出现动作冲突。 例设有文法为： (0) S’→S (1) S→iSeS (2) S→iS (3) S→a 这是描述两种条件语句的文法 项目集除了“I4”以外无动作冲突，通过人为的规定终极符的优先级，使得冲突得以解决。 移进—归约冲突，当输入‘e’时，无法选择移进还是归约。 在构造LR分析表时，分析表中“状态4”和“e”的分析动作Action(4,e)的值，按SLR(1)分析表构造算法，是填“S5”呢？还是填“r2”。这里，Follow(S)={e，#} 按照算法语言的要求，有“else”的条件语句优先，即Action(4,e)= S5 LR(k)和LL(k)的比较 1. A??1? ?2 LL(k)根据FIRST(?i)和follow(A)确定使用哪条产生式；而LR(k)是在识别出整个?后,再往后看k个符号,然后确定使用哪条产生式。 w A ? ? ? ? w A LL(k)文法都是LR(k)文法。 2. 都能用形式化方法实现； 3. 非LR结构 4. LR(k)分析用手工构造是不可能的。类 Pascal语言的LR(1)分析表，估计要数千 个状态；由于有软件工具， LR分析受到 广范重视。 分析器的生成器Yacc 一 . 用生成器Yacc构造翻译器的过程 Yacc 编译器 yacc源程序 translate.y y.tab.c C 编译器 y.tab.c a.out a.out 源程序 输出 二. Y