版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
会计学1编译原理SLR分析法4.5.3SLR(1)分析法将文法拓广并对规则进行编号
直接构造出识别文法规范句型活前缀的DFA下如图所示。0.E'→E1.E→E+T2.E→T3.T→T*F4.
T→F5.
F→(E)6.
F→id第1页/共57页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*F4
T→F5
F→(E)6
F→id第2页/共57页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+第3页/共57页4.5.3SLR(1)分析法
不难看出在I1,I2,I9中既含有移进项目,又含有归约项目,因而这个表达式的文法不是LR(0)文法。
根据构造LR(0)分析表的方法,构造出的LR(0)分析表中在2状态和9状态下面临输入符号‘*’时含多重定义元素,见下表。第4页/共57页表达式文法的LR(0)分析表012345S5S4S6accS5S4r2r2S7r2
r2r2r2r4r4r4r4r4r4123823r6r6r6r6r6r6GOTO状态ACTIONid+*()$ETF678910S5S4S5S4S6S11r1r1S7r1
r1r1r1r3r3r3r3r3r3r5r5r5r5r5r5119310第5页/共57页4.5.3SLR(1)分析法
为了对语言句子进行确定性的分析,需要解决移进—归约或归约—归约冲突。我们采用对含有冲突的项目集向前查看一个输入符号的办法来解决冲突,
这种分析法称为简单的LR分析法,即SLR(1)分析法。第6页/共57页4.5.3SLR(1)分析法
仔细分析构造LR(0)分析表的方法,容易看出使分析表出现多重定义的原因在于其中的规则2,即对于每一个项目集Ik中的归约项目A→α•,不管当前输入符号是什么,都将ACTION表中第K行的各个元素均置为rj,其中j为规则A→α的编号。
第7页/共57页4.5.3SLR(1)分析法
因此,当一个LR(0)项目集规范族中存在一个含移进—归约冲突和归约—归约冲突的项目集时
则在分析表第K行中遇输入符号b必然会出现多重定义元素。
IK={X→δ·bB,A→α·,B→r·}
对含冲突的项目集,仅根据LR(0)项目本身的信息是无法解决冲突的。需要向前查看一个输入符号以考察当前所处的环境。第8页/共57页4.5.3SLR(1)分析法
对归约项目A→α•和B→γ•
,只需要考察当将句柄α或γ归约为A或B时,直接跟在A或B后的终结符的集合即FOLLOW(A)和FOLLOW(B)互不相交且不包含移进符号b,即满足:IK={X→δ·bB,A→α·,B→r·}FOLLOW(A)∩FOLLOW(B)=Φ
FOLLOW(B)∩{b}=ΦFOLLOW(A)∩{b}=Φ第9页/共57页4.5.3SLR(1)分析法
那么,当状态K面临输入符号a时,可按以下规则解决冲突:(1)若a=b则移进(2)若aFOLLOW(A),则用规则
A进行归约。
(3)若aFOLLOW(B),则用规则
Br进行归约。(4)此外报错。第10页/共57页4.5.3SLR(1)分析法
一般而言,若一个LR(0)项目集I中有m个移进项目和n个归约项目时:
对所有移进项目向前看一符号集合{a1,a2,…,am}和FOLLOW(B1),FOLLOW(B2),…,FOLLOW(Bn)两两相交为Φ时,则项目集I中冲突仍可用下述规则解决冲突。I:{A1→α1·a1β1,A2→α2·a2β2,
…,Am→αm·amβm,B1→r1·,B2→r2·,…,Bn→rn·}第11页/共57页4.5.3SLR(1)分析法设a为当前输入符:(1)若a∈{a1,a2,…,am}则移进。(3)此外报错。(2)若a∈FOLLOW(Bi),i=1,2,…,n,
则用Bi→ri进行归约。
这种用来解决分析动作冲突的方法称为SLR(1)方法。第12页/共57页4.5.3SLR(1)分析法
现在分别考察上例中的三个项目集I1,I2,I9中冲突能否用SLR(1)方法解决。
由于FOLLOW(E')={$}∩{+}=Φ
,且E'→E•是“接受”项目,所以I1中的接受—移进冲突可以用SLR(1)方法解决。
如果对于一个文法的某些LR(0)项目集或LR(0)分析表中所含有的动作冲突都能用SLR(1)方法解决,则称这个文法是SLR(1)文法。
I1={E'→E·,E→E·+T}第13页/共57页4.5.3SLR(1)分析法
由于FOLLOW(E)={+,),$}∩{*}=Φ,因此面临输入符为‘+’,‘)’,‘$’时,用规则E→T进行归约,当面临输入符‘*’时,则移进,I2中移进—归约冲突可以用SLR(1)方法解决。
与I2中情况类似,其项目集中移进—归约冲突可用SLR(1)方法解决。因此该文法是SLR(1)文法。I2={E→T·,T→T·*F}I9={E→E+T·,T→T·*F}第14页/共57页4.5.3SLR(1)分析法SLR(1)分析表的构造与LR(0)分析表的构造基本相同。仅对LR(0)分析表构造算法中的规则2进行如下修改:
若归约项目A→α•属于Ik,则对任何终结符a∈FOLLOW(A)置ACTION[k,a]=rj,其中A→α为文法的第j条规则。第15页/共57页4.5.3SLR(1)分析法
按上述方法对前例中的算术表达式文法构造出SLR(1)分析表如表所示:FOLLOW(E')={$}FOLLOW(E)={+,),$}0E'→E1E→E+T2E→T3T→T*F4
T→F5
F→(E)6
F→idFOLLOW(T)={+,),$,*}第16页/共57页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+第17页/共57页G[E]的SLR(1)分析表GOTO状态ACTIONid+*()$ETF012345S5S4S6accS5S4r2S7r2r2r4r4r4r4123823r6r6r6r6678910S5S4S5S4S6S11r1S7r1r1r3r3r3r3r5r5r5r5119310第18页/共57页4.5.3SLR(1)分析法
若文法的SLR(1)分析表不含多重定义元素,则称文法G为SLR(1)文法。例1设有拓广文法G[S´]0.S'→S1.S→Sb2.S→bAa3.A→aSc4.A→aSb5.A→a第19页/共57页4.5.3SLR(1)分析法(1)构造识别文法规范句型活前缀的DFA。(2)判断该文法是否SLR(1)文法,若是,构造SLR(1)分析表,若不是,请说明理由。
该文法的LR(0)项目集规范族及转换函数如下图所示:第20页/共57页I0:S'→·SS→·SbS→·bAaSI1:S'→S·S→S·bbI2:S→b·AaA→·aScA→·aSbA→·aI3:S→Sb·bI4:S→bA·aS→·SbS→·bAaA→a·ScA→a·SbA→a·I5:abAaI6:S→bAa·I7:S→S·bA→aS·cA→aS·bSI8:A→aSc·文法G[S']LR(0)项目集及转换函数I9:A→aSb·S→Sb·cb0.S'→S1.S→Sb2.S→bAa3.A→aSc4.A→aSb5.A→a第21页/共57页4.5.3SLR(1)分析法
分析所有这些项目集,可知在项目集I1,I5中存在移进—归约冲突,I9中存在归约—归约冲突,因此该文法不是LR(0)文法。
考虑含冲突的项目集能否用SLR(1)方法解决。0.S'→S1.S→Sb2.S→bAa3.A→aSc4.A→aSb5.A→aFOLLOW(A)={a}FOLLOW(S)={b,c,$}FOLLOW(S')={$}第22页/共57页4.5.3SLR(1)分析法
由于有FOLLOW(S')∩{b}={$}∩{b}=Φ,I1中的移进—归约冲突可以用SLR(1)方法解决。
由于有FOLLOW(A)∩{b}={a}∩{b}=Φ,I5中的移进—归约冲突可以用SLR(1)方法解决。I1={S'→S·,S→S·b}I5={A→a·,S→·bAa}第23页/共57页4.5.3SLR(1)分析法
由于有FOLLOW(A)∩FOLLOW(S)={a}∩{b,c,$}=Φ,I9中的归约—归约冲突也可用SLR(1)方法解决。
所以该文法是SLR(1)文法。相应的SLR(1)分析表如下表:I9={A→aSb·,S→Sb·}第24页/共57页4.5.3SLR(1)分析法0S2112345r1r1r1r2r2r2S5r4r1r1r146789S3accS9S8S6r5S2r37状态GOTOACTIONabc$SAG[S]的SLR(1)分析表0.S'→S1.S→Sb2.S→bAa3.A→aSc4.A→aSb5.A→a第25页/共57页I0:S′→·SS→·SbS→·bAaSI1:S′→S·S→S·bbI2:S→b·AaA→·aScA→·aSbA→·aI3:S→Sb·bI4:S→bA·aS→·SbS→·bAaA→a·ScA→a·SbA→a·I5:abAaI6:S→bAa·I7:S→S·bA→aS·cA→aS·bSI8:A→aSc·文法G[S’]LR(0)项目集及转换函数I9:A→aSb·S→Sb·cb0.S′→S1.S→Sb2.S→bAa3.A→aSc4.A→aSb5.A→a第26页/共57页4.5.3SLR(1)分析法SLR(1)分析法是一种简单而实用的方法,其造表演算法简单,状态数目少,且大多数程序设计语言都可以用SLR(1)文法来定义。
但是仍存在这样一些文法,其项目集中的移进一归约冲突或归约—归约冲突不能用SLR(1)方法解决。第27页/共57页4.5.3SLR(1)分析法例2下列拓广文法G´为
我们首先用S'→•S作为初态集的项目,然后用闭包函数和转换函数构造识别文法G'活前缀的DFA如下图所示。0.S'→S1.S→L=R2.S→R3.L→*R4.L→i5.R→L第28页/共57页I0:S→L=·RL→·*RL→·iR→·LS'→·SS→·L=RS→·RL→·*RL→·iR→·LSI1:S'→S·I2:S→L·=RR→L·LI3:S→R·RL→*·RL→·iR→·LL→·*RI4:**iiI5:L→i·I6:=*I7:L→*R·RiLI8:R→L·LRI9:S→L=R·LR(0)识别G'活前缀的DFA0.S′→S1.S→L=R2.S→R3.L→*R4.L→i5.R→L第29页/共57页4.5.3SLR(1)分析法可以发现项目集I2中存在移进和归约冲突:
因此,I2中移进和归约冲突不能用SLR(1)方法解决。SL=R
*R=RSRI2={S→L·=RR→L·}由于FOLLOW(R)∩{=}={=,$}∩{=}≠Ф0.S′→S1.S→L=R2.S→R3.L→*R4.L→i5.R→L第30页/共57页4.5.3SLR(1)分析法1.SLR(1)方法为什么不能解决I2中的移进和归约冲突?2.怎样解决I2中的移进和归约冲突?问题:第31页/共57页4.5.3SLR(1)分析法
由于用SLR(1)方法解决动作冲突时,它仅孤立地考察对于归约项目A→α•,只要当前面临输入符号a∈Follow(A)时,就确定使用规则A→α进行归约,而没有考察符号串α所在规范句型的环境。
Ii:A→α•I0I1Ii$δαaa'a"…I0I1Ij$δAaa'a"…第32页/共57页4.5.3SLR(1)分析法
因为如果栈里的符号串为$δα,归约后变为$δA,当前读到的输入符号是a,若文法中不存在以δAa为前缀的规范句型,那么,这种归约无效。
例如,我们考查规范句型i=i的SLR(1)分析过程:
第33页/共57页I0:S→L=·RL→·*RL→·iR→·LS'→·SS→·L=RS→·RL→·*RL→·iR→·LSI1:S′→S·I2:S→L·=RR→L·LI3:S→R·RL→*·RL→·iR→·LL→·*RI4:**iiI5:L→i·I6:=*I7:L→*R·RiLI8:R→L·LRI9:S→L=R·LR(0)识别G’活前缀的DFA0.S′→S1.S→L=R2.S→R3.L→*R4.L→i5.R→L第34页/共57页4.5.3SLR(1)分析法状态栈符号栈输入串0$i=i$05$i=i$02$L=i$03$R=i$
不难看出当状态2呈现于栈顶且面临的输入符号是=时,由于这个文法不含有以R=为前缀的规范句型,因此用R→L进行的归约是无效归约。第35页/共57页4.5.3SLR(1)分析法∵SL=R*R=R
也就是说,并不是FOLLOW(R)中的每个元素在含R的所有句型中在R的后面都会出现。解决这一问题的方法是采用LR(1)分析法。
第36页/共57页4.5.4LR(1)分析法
在分析过程中,当试图用某一规则A→α归约栈顶的符号串α时不仅应该察看栈中符号串δα,还应向前扫视一个输入符号a,只有当δAa的确构成文法某一规范句型的前缀时,才能用此规则进行归约。LR(1)分析法的思想:第37页/共57页4.5.4LR(1)分析法
为此,我们可以考虑在原来LR(0)项目集中;增加更多的展望信息,这些展望信息有助于克服动作冲突和排除无效归约。也就是需要重新定义项目,称之为LR(1)项目。
一个LR(1)项目是一个二元组[A→α•β,a]第38页/共57页4.5.4LR(1)分析法
当β=ε时,搜索符a明确指出当[A→α•β,a]是栈顶状态的一个LR(1)项目时,仅在输入符号是a时才能用A→α归约,而不是对FOLLOW(A)中的所有符号都用A→α归约。
当β≠ε时,搜索符是无意义的。
其中A→α•β是一个LR(0)项目,每个a是终结符,称为展望符或搜索符。第39页/共57页4.5.4LR(1)分析法
构造LR(1)项目集族的方法和构造LR(0)项目集规范族的方法基本相同。具体构造方法如下:(1)构造LR(1)项目集I的闭包函数(a)I的任何LR(1)项目都属于CLOSURE(I)。
(b)若项目[A·B,a]属于CLOSURE(I),Br是文法中的一条规则,bFIRST(a),则[B·r,b]也属于CLOSURE(I)。
(c)重复(b),直到CLOSURE(I)不再增大为止。第40页/共57页4.5.4LR(1)分析法
对例2中的文法G',令I=[S'→•S,$]为初态集的初始项目集,对其求闭包:=CLOSURE({[S'→•S,$]})CLOSURE(I)={[S'→•S,$][S→•L=R,$][S→•R,$][L→•*R,=/$][L→•i,=/$][R→•L,$]}=I00.S′→S1.S→L=R2.S→R3.L→*R4.L→i5.R→LFIRST(βa)=FIRST($)={$}FIRST(βa)=FIRST(=R$)={=}FIRST(βa)=FIRST($)={$}FIRST(βa)=FIRST($)={$}第41页/共57页4.5.4LR(1)分析法(2)构造转换函数
令I是一个LR(1)项目集,X是一个文法符号,函数GO(I,X)=CLOSURE(J)。J={[A→αX·β,a]|[A→α·Xβ,a]∈I}第42页/共57页4.5.4LR(1)分析法GO(I0,S)={[S'→S·,$]}=I1GO(I0,*)={[L→*·R,=/$][R→·L,=/$][L→·*R,=/$][L→·i,=/$]}=I4I0={[S'→•S,$][S→•L=R,$][S→•R,$][L→•*R,=/$][L→•i,=/$][R→•L,$]}第43页/共57页I0:SI1:S'→S•,$LI2:S→L•=R,$R→L•,$I3:S→R•,$RI4:L→*•R,=/$R→•L,=/$L→•*R,=/$L→•i,=/$*I5:L→i•,=/$iiS'→•S,$S→•L=R,$S→•R,$L→•*R,=/$L→•i,=/$R→•L,$*I6:S→L=•R,$L→•*R,$L→•i,$R→•L,$I9:S→L=R•,$I11:L→*•R,$R→•L,$L→•*R,$L→•i,$I10:R→L•,$I12:L→i•,$I7:L→*R•,=/$I13:L→*R•,$I8:R→L•,=/$*LR(1)项目集族及转换函数=RLRL*LiR0.S′→S1.S→L=R2.S→R3.L→*R4.L→i5.R→Li第44页/共57页4.5.4LR(1)分析法
分析所有这些项目集,可以发现每个项目集中都不含移进—归约冲突,或归约—归约冲突。
在项目集I2中,由于归约项目[RL·,$]的搜索符集合{$}与移进项目[SL·=R,$]的待移进符号‘=’号不相交,所以在I2中,当面临输入符为‘$’时用规则R→L归约,为‘=’时则移进,I2中的移进一归约冲突在LR(1)分析法中得到了解决。第45页/共57页4.5.4LR(1)分析法
构造LR(1)分析表的方法与构造LR(0)分析表的方法基本相同,仅对归约项目作如下修改:
若归约项目[A·,a]属于Ik,则对搜索符a置ACTION[K,a]=rj。其中A→α为文法的第j条规则。
按上述方法我们对例2中文法的LR(1)项目集族构造相应的LR(1)分析表如下表所示:第46页/共57页012345678910111213ACTIONGOTOi*=$SLRS5
S4123accS6
r5r2S5
S4r4
r4S12S11r3
r3r5
r5r187109r5S12S111013r4r3G[S]的LR(1)分析表0.S'→S1.S→L=R2.S→R3.L→*R4.L→i5.R→L第47页/共57页I0:SI1:S'→S•,$LI2:S→L•=R,$R→L•,$I3:S→R•,$RI4:L→*•R,=/$R→•L,=/$L→•*R,=/$L→•i,=/$*I5:L→i•,=/$iiS'→•S,$S→•L=R,$S→•R,$L→•*R,=/$L→•i,=/$R→•L,$*I6:S→L=•R,$L→•*R,$L→•i,$R→•L,$I9:S→L=R•,$I11:L→*•R,$R→•L,$L→•*R,$L→•i,$I10:R→L•,$I12:L→i•,$I7:L→*R•,=/$I13:L→*R•,$I8:R→L•,=/$*LR(1)项目集族及转换函数=RLRL*LiR0.S′→S1.S→L=R2.S→R3.L→*R4.L→i5.R→Li第48页/共57页4.5.4LR(1)分析法
由上表可以看出,对LR(1)的归约项目不存在任何无效归约。但在多数情况下同一个文法的LR(1)项目集的个数比LR(0)项目集的个数要多。
这是因为对同一个LR(0)项目集,由于搜索符不同而对应着多个LR(1)
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 高中数学 第一章 集合与函数概念 新人教版必修1
- 土建类施工组织设计
- 2024年度旅游包车服务详细合同
- 2024年度电气设备安装工程设计合同
- 2024中国电力建设集团水电水利规划设计总院招聘3人易考易错模拟试题(共500题)试卷后附参考答案
- 2024中国电信江苏公司春季招聘易考易错模拟试题(共500题)试卷后附参考答案
- 2024中国冶金地质总局在京单位招考应届毕业生易考易错模拟试题(共500题)试卷后附参考答案
- 2024中国一冶集团限公司交通工程公司招聘80人易考易错模拟试题(共500题)试卷后附参考答案
- 2024下半年江苏兴海控股集团限公司招聘17人易考易错模拟试题(共500题)试卷后附参考答案
- 2024上半年福建福州市连江县部分国企业招聘9人易考易错模拟试题(共500题)试卷后附参考答案
- 刘力红思考中医
- 血液运输物流服务投标方案
- 机电保安制度
- 浅谈小学数学后进生的产生原因及转化策略
- 高中英语-John Snow Defeats“King Cholera”教学课件设计
- 围手术期护理论文范文10篇
- 华为5GNR初中级理论考试参考题库(含答案)
- 涉校矛盾纠纷排查化解工作方案
- 学院(校)食堂餐饮企业承包经营退出管理制度
- 中级纺织工程师工作计划工作总结述职报告
- Unit3Whatcolouristhisballoon颜色单词演练
评论
0/150
提交评论