第12讲-语法分析-VIII-浅色.pptxVIP

温故知新$…ai…an输入a1LR分析程序输出 栈actiongotoLR分析器的模型smXmsm-1Xm-1…s01。句柄与某个产生式的右部符号串相同2。句柄是句型的一个子串3。把句柄归约成非终结符代表了最右推导逆过程的一步上下文无关文法！最左推导最右推导自上而下自下而上句柄归约移进-归约冲突移进-归约分析递归下降预测分析归约-归约冲突LL(1)文法LR文法非递归的预测分析2个函数活前缀右句型的前缀，该前缀不超过最右句柄的右端简单的LR方法（SLR）规范的LR方法向前看的LR方法(LALR）回顾活前缀活前缀的识别LR(0)项目集构建识别活前缀的DFALR(1)分析练习题目基于LR(1)项目来构造识别G?活前缀的DFA，并基于DFA构建分析表.S ? V = ES ? E V ? * EV ? id E ? V LR(1)分析练习解答过程S ? V = ES ? E V ? * EV ? id E ? V S ’ ? SS ? V = ES ? E V ? * EV ? id E ? V 1.对原文法进行拓广 (添加产生式S’-S )2.拓广文法S ?的LR(0)项目集规范族拓广文法G?的LR(0)项目集规范族I0: S? · S S? · V=E S? · E V? · *E V? · id E? · VI1: S?S · I2: S?V · =E E?V · I3: S?E ·I4: V?* · E E? · V V? · *E V? · idI5: V?id ·I6: S?V= · E E? · V V? · *E V? · idI7: V?*E ·I8: E?V ·I9: S?V=E ·识别产生式文法活前缀的DFAI1SEI6S ? V = ? EE ? ? VV ? ? *EV ? ? idS?? SS ? ? V=ES ? ? EV ? ? *EV ? ? idE ? ? VS? S ?S ? V=E ?I0I9idVI3S ? V ?=EE ? V ?=I2V**V ? *? EE ? ? VV ? ? idV ? ? * EidEI4VE ? V ?I8I5V ? id ?EidV ? *E ?I7*I3S ? E ?本讲纲要SLR(1)SLR(1)分析表的构造SLR(1)文法描述能力有限LR(1)分析LALRLR文法和LR分析方法的特点3.5 LR分析器从文法构造的识别活前缀的DFA的一些特点 概念：有效项目 如果S ??*rm ?Aw ?rm ??1?2w， 那么项目A??1·?2对活前缀??1是有效的。一个项目可能对好几个活前缀都是有效的。 S ??*rm ?AAw ?rm ?A?1?2w ?rm ? ?1?2?1?2w 对任何活前缀??1，从项目A??1·?2有效这个事实可以知道如果?2 ? ?，应该移进如果?2 = ?，应该用产生式A??1归约3.5 LR分析器从文法构造的识别活前缀的DFA的一些特点 概念：有效项目 如果S ??*rm ?Aw ?rm ??1?2w， 那么项目A??1·?2对活前缀??1是有效的。一个项目可能对好几个活前缀都是有效的。 一个活前缀可能有多个有效项目。 一个活前缀?的有效项目集是从这个DFA的初态出发，沿着标记为?的路径到达的那个项目集（状态） 。 3.5 LR分析器例 串E + T *是活前缀，读完它后，DFA处于状态I7 I7: T?T *·F, F? ·(E ), F? ·id E ? ? E E ? ? E E ? ? E ? E+T ? E+T ? E+T ? E+T * F ? E+T * F ? E+T * F ? E+T * id ? E+T * (E ) ? E+T* id ? E+T * F * id概念：有效项目如果S??*rm ?Aw ?rm ??1?2w，那么项目A??1·?2对活前缀??1是有效的。SLR分析表的构建一般性构造过程首先对文法进行拓广添加产生式S’-S构建识别活前缀的DFA基于DFA构建分析表SLR分析表的构建从DFA构造SLR分析表状态i从Ii构造，它的action函数如下确定：如果[A??·a?]在Ii中，并且goto(Ii, a ) = Ij，那么置action[i, a]为sj。如果[A??·]在Ii中，那么对FOLLOW(A)中的所有a，置action[i, a]为rj,j是产生式A??的编号。如果[S ??S·]在Ii中，那么置action[ i, $ ]为接受acc。如果出现动作冲突，那么该文法就不是SLR(1)的。 SLR分析表的构建从DFA构造SLR分析表状态i从Ii构造，它的action函数如下确定： . . .使用下面规则构造状态i的goto函数：对所有的非终结符A，如