1、已知文法.docVIP

1、已知文法　　A→aAd|aAb|ε 　　判断该文法是否是SLR(1)文法，若是构造相应分析表，并对输入串ab#给出分析过程。文法： 　　A→aAd|aAb|ε 　　拓广文法为G′，增加产生式S′→A　　若产生式排序为：　　0　 S →A 　　1　 A →aAd　　2 　A →aAb　　3 　A →ε 　　由产生式知： 　　First(S)={ε,a}　　First(A)={ε,a}　　Follow(S)={#} 　　Follow(A)={d,b,#}　　G′的LR(0)项目集族及识别活前缀的DFA如下图所示： 在I中：A →.aAd和A →.aAb为移进项目，A →.为归约项目，存在移进-归约冲突，因此所给文法不是LR(0)文法。在I、I中：Follow(A) ∩{a}= {d，b，#} ∩{a}=所以在I、I中的移进-归约冲突可以由Follow集解决，所以G是SLR(1)文法。 构造的SLR(1)分析表如下： 题目1的SLR(1)分析表 状态（State） Action Goto ? a　　　d　 　b　　 #　 A 012345 S2　　r3　　r3　　r3　　　　 　　　　　accS2　　r3　　r3　　r3S4　　S5　　　r1　　r1　　r1　 　 r2　　r2　　r2 1.3 题目1对输入串ab#的分析过程 状态栈（state stack） 文法符号栈 剩余输入串（input left） 动作（action） 00 20 2 30 2 30 1 ##a#aA#aAb#A ab#....b#....b#....#....#.... ShiftReduce by :A →εShiftReduce by :A →aAb 分析成功，说明输入串ab是题目1文法的句子2、若有定义二进制数的文法如下：　　S→L.L|L 　　L→LB|B　　B→0|1 　　(1) 试为该文法构造LR分析表，并说明属哪类LR分析表。　　(2) 给出输入串101.110的分析过程。  　　文法： 　　S→L.L|L 　　L→LB|B　　B→0|1 　　拓广文法为G′，增加产生式S′→S　　若产生式排序为：　　0 　S →S 　　1 　S →L.L 　　2 　S →L 　　3 　L →LB 　　4 　L →B　　5 　B →0　　6 　B →1 　　由产生式知： 　　First (S ) = {0,1}　　First (S ) = {0,1} 　　First (L ) = {0,1}　　First (B ) = {0,1}　　Follow(S ) = {#} 　　Follow(S ) = {#}　　Follow(L ) = {.,0,1,#}　　Follow(B ) = {.,0,1,#}　　G′的LR(0)项目集族及识别活前缀的DFA如下图所示： 在I2中：B →.0和 B →.1为移进项目，S →L.为归约项目，存在移进-归约冲突，因此所给文法不是LR(0)文法。在I2、I8中：Follow(s) ∩{0，1}= { #} ∩{0，1}=所以在I2 、I8中的移进-归约冲突可以由Follow集解决，所以G是SLR(1)文法。 构造的SLR(1)分析表如下：题目2的SLR(1)分析表 状态（State） Action Goto ? · 　　0　　　1　　 # S　L　B 012345678 S4　　S5　　　　　　　　　 accS6　　S4　　S5　　r2r4　　r4　　r4　　r4r5　　r5　　r5　　r5r6　　r6　　r6　　r6S4　　S5r3　　r3　　r3　　r3　　　S4　　S5　　r1 1　2　3.　　　7...　　8　3.　　　 7 题目2对输入串101.110#的分析过程 状态栈（state stack） 文法符号栈 剩余输入串（input left） 动作（action） 00 50 30 20 2 40 2 70 2 0 2 50 2 70 2 0 2 60 2 6 5 0 2 6 3 0 2 6 8 0 2 6 8 50 2 6 8 70 2 6 80 2 6 8 40 2 6 8 70 1 ##1#B#L#L0#LB#L#L1#LB#L#L.#L.1#L.B#L.L#L.L1#L.LB#L.L#L.L0#L.LB#S 101.110#....01.110#....01.110#..