资源描述：
《编译原理与实践第五章答案.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、TheExercisesofTheChapterFive5.1a.DFAofLR(0)items[Seep.202,p.208,LR(0)def.p.207]Grammar:E®(L)
2、aL®L,E
3、ELR(0)items:(withaugmentedgrammarruleE’®E)1.E’®.E2.E’®E.3.E®.(L)4.E®(.L)5.E®(L.)6.E®(L).7.E®.a8.E®a.9.L®.L,E10.L®L.,E11.L®L,.E12.L®L,E.13.L®.E14.L®E.b.SLR(1)parsingtable:[Seepp.210-211]c.SLR(1)pa
4、rsingstackforinputstring“((a),a,(a,a))”:[Seep.212]d.[Seep.207fordef.ofLR(0),p.209forLR(0)parsingtable]ThegrammarisLR(0)astherearenoambiguities(shift-reduceconflicts)accordingtotherulesonp.207(definitionofLR(0)).ThedifferencebetweenSLR(1)andLR(0)isthatSLR(1)detectsanerrorbeforeareductionbecauseo
5、fthelook-ahead,whereasLR(0)detectsanerrorinaparsestringafterareduction.5.2Considerthefollowinggrammar:E→(L)
6、aL→L,E
7、Ea.ConstructtheDFAofLR(1)itemsforthisgrammar.b.ConstructthegeneralLR(1)parsingtable.c.ConstructtheDFAofLALR(1)itemsforthisgrammar.d.ConstructtheLALR(1)parsingtable.e.Describeanydif
8、ferencethatmightoccurbetweentheactionsofageneralLR(1)parserandanLALR(1)parser.[Solution]Augmentthegrammarbyaddingtheproduction:E’→Ea.State0:[E’→.E,$]State1:[E’→E.,$][E→.(L),$][E→.a,$]State2:[E→(.L),$]State3:[E→a.,$][L→.L,E,()][L→.E,()][L→.L,E,,]State4:[E→(L.),$][L→.E,,][L→L.,E,()][E→.(L),()][L→
9、L.,E,,][E→.a,()][E→.(L),,]State5:[L→E.,()][E→.a,,][L→E.,,]State6:[E→(.L),()]State7:[E→a.,()][E→(.L),,][E→a.,,][L→.L,E,()][L→.E,()]State8:[E→(L).,$][L→.L,E,,][L→.E,,]State9:[L→L,.E,()][E→.(L),()][E→.(L),()][E→.a,()][E→.a,()][E→.(L),,][L→L,.E,,][E→.a,,][E→.(L),,][E→.a,,]State10:[E→(L.),()]State11
10、:[L→L,E.,()][E→(L.),,][L→L,E.,,][L→L.,E,()][L→L.,E,,]State12:[E→(L).,()][E→(L).,,]aa(,()EL,)a(EL(aS0S1S3S2S4S5S6S7S8S9S10S11S12EEb.r1:E→(L)r2:E→ar3:L→L,Er4:L→EStateInputGoto(a),$LE0S2S311Accept2S6S7453r24S8S95r4r46S6S71057r2r28r19S6S71110S12S911r3r312r1r1c.State0:[E’→.E,$]State1:[E’→E.,$][E→.(L
11、),$][E→.a,$]State2/6:[E→(.L),$/()/,]State3/7:[E→a.,$/()/,][L→.L,E,()][L→.E,()][L→.L,E,,]State4/10:[E→(L.),$/()/,][L→.E,,][L→L.,E,()][E→.(L),()][L→L.,E,,][E→.a,()][E→.(L),,]State5:[L→E.,()][E→.a,,][L→E.,,]State8/12:[E→(L).,$/()/,]S
