编译原理课件04(6)SLR(1)分析法.pptVIP

4.5.3SLR〔1〕分析法这个条件比较苛刻，对于大多数程序设计语言来说，一般都不能满足LR(0)文法的条件，即使是描述一个算述表达式的简单文法也不是LR(0)文法。例考虑算术表达式的文法：每一个LR(0)工程集中都不含有冲突的工程，由于LR(0)文法要求文法的E→E+T|TT→T*F|FF→(E)|id

4.5.3SLR〔1〕分析法将文法拓广并对规那么进行编号直接构造出识别文法标准句型活前缀的DFA下如以下图。0.E→E1.E→E+T2.E→T3.T→T*F4.T→F5.F→(E)6.F→id

E→·EE→·E+TE→·TT→·T*FT→·FF→·(E)F→·idI0:EI1:E→E·E→E·+TI2:E→T·T→T·*FTI3:T→F·FF→(·E)E→·E+TE→·TT→·T*FT→·FF→·(E)F→·idI4:((FTI5:F→id·idE→E+·TT→·T*FT→·FF→·(E)F→·idI6:+F(idI7:T→T*·FF→·(E)F→·id(idid*I8:F→(E·)E→E·+TE+0E→E1E→E+T2E→T3T→T*F4T→F5F→(E)6F→id

E→E+·TT→·T*FT→·FF→·(E)F→·idI6:idI8:F→(E·)E→E·+TE+TI9:E→E+T·T→T·*T*FI10:T→T*F·I11:F→(E)·)识别表达式文法活前缀的DFAE→·EE→·E+TE→·TT→·T*FT→·FF→·(E)F→·idI0:EI1:E→E·E→E·+TI2:E→T·T→T·*FTI3:T→F·FF→(·E)E→·E+TE→·TT→·T*FT→·FF→·(E)F→·idI4:((FTI5:F→id·id+F(idI7:T→T*·FF→·(E)F→·id(idid*E+

4.5.3SLR〔1〕分析法不难看出在I1，I2，I9中既含有移进工程，又含有归约工程，因而这个表达式的文法不是LR(0)文法。根据构造LR(0)分析表的方法，构造出的LR(0)分析表中在2状态和9状态下面临输入符号‘*’时含多重定义元素，见下表。

表达式文法的LR(0)分析表012345S5S4S6accS5S4r2r2S7r2r2r2r2r4r4r4r4r4r4123823r6r6r6r6r6r6GOTO状态ACTIONid+*()$ETF678910S5S4S5S4S6S11r1r1S7r1r1r1r1r3r3r3r3r3r3r5r5r5r5r5r5119310

4.5.3SLR〔1〕分析法为了对语言句子进行确定性的分析，需要解决移进—归约或归约—归约冲突。我们采用对含有冲突的工程集向前查看一个输入符号的方法来解决冲突，这种分析法称为简单的LR分析法，即SLR(1)分析法。

4.5.3SLR〔1〕分析法仔细分析构造LR(0)分析表的方法，容易看出使分析表出现多重定义的原因在于其中的规那么2，即对于每一个工程集Ik中的归约工程A→α?，不管当前输入符号是什么，都将AC