5-第五章—自下而上语法分析-3-4节.pptVIP

该文法的LR(0)项目集规范族为： I1、I2和I9都含有“移进－归约”冲突。 FOLLOW(E)＝ {#, ), +}， 作业： P133 第 3 题 说明：为简单起见，不加#号 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. LR分析器 = 总控程序（对所有的LR分析器，相同） + 分析表（ACTION表 + GOTO表） + 分析栈 （状态栈 + 符号栈） 输入串：a+b…# 输出 Sm … S1 S0 状 态 栈 xm … x1 # 符 号 栈 总控程序 分析表 ACTION GOTO §5.4 LR分析法介绍 不同文法、不同LR分析器，分析表不同 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. ⑴ 动作部分ACTION —— 二维数组 ACTION[S,y]?当状态为S，向前看符号串y时，应该 采取的动作。( y的长度 = 1 或 k ) si：将状态 i 以及当前符号分别移入状态栈、符号栈； rj：按照第 j 个产生式，对栈顶的符号串进行归约； Acc：接受输入符号串，识别出是一个句子； 报错：输入符号串不是句子； ⑵ 状态转换部分GOTO —— 二维数组 GOTO[S,P] ? 当前状态S,面对非终结符号P时,转换 到的下一个状态。 LR分析表 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 书 P101, LR分析表 ACTION表 状态 0 1 2 3 4 5 6 7 8 9 10 11 i s5 s5 s5 s5 + s6 r2 r4 r6 s6 r1 r3 r5 * s7 r4 r6 r3 r5 ( s4 s4 s4 s4 ) r2 r4 r6 s11 r1 r3 r5 # acc r2 r4 r6 r1 r3 r5 GOTO表 E 1 8 T 2 2 9 F 3 3 3 10 G[E]： 1.E→E+T 2.E→T 3.T→T*F 4.T→F 5.F→(E) 6.F→ i Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Si:移入 i=状态栈 a=符号栈 输入前移 0 =状态栈，# =符号栈 LR分析器 标准分析算法 开始 S＝栈顶状态号；a ＝ 输入符号 执行ACTION[S,a] Accept 分析 成功 空白 出错 rj : 按第j条产生式归约 L=候选式长度; P=左部符号 状态栈弹出L个状态； 符号栈弹出L个符号； Go[新栈顶,P]=状态栈； P=符号栈 结束 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 状态栈 0 05 03 02 027 0275 02710 02 01 016 0165 0163 0169 01 01 符号栈 # #i #F #T #T* #T*i #T*F #T #E #E+ #E+i #E+F #E+T #E #E 输入 i*i+i# *i+i# *i+i# *i+i# i+i# +i# +i# +i# +i# i# # # # # # A[S,a] 预备 s5 r6 r4 s7 s5 r6 r3 r2 s6 s5 r6 r4 r1 Acc 规则 F→i T→F F→i T→T*F E→T F→i T→F E→E+T G[S,P] 3 2 10 2 1 3 9 1 G[E]： 1.E→E+T 2.E→T 3.T→T*F 4.T→F 5.F→(E) 6.F→ i ACTION表 0 1 2 3 4 5 6 7 8 9 10 11 i s5 s5 s5 s5 + s6 r2 r4 r6 s6 r1 r3 r5