编译原理第7章答案.docVIP

第七章 LR分析法 1．已知文法 A(aAd|aAb|ε 判断该文法是否是SLR(1)文法，若是构造相应分析表，并对输入串ab#给出分析过程。 解：增加一个非终结符S/后，产生原文法的增广文法有： S/(A A(aAd|aAb|ε 下面构造它的LR(0)项目集规范族为： a b d # A I0： S/(?A A(?aAd A(?aAb A(? I2： A(a?Ad A(a?Ab A(?aAd A(?aAb A(? I1： S/(A? I1： S/(A? acc I2： A(a?Ad A(a?Ab A(?aAd A(?aAb A(? I2 I3： A(aA?d A(aA?b I3： A(aA?d A(aA?b I4： A(aAb? I5： A(aAd? I4： A(aAb? I5： A(aAd? 从上表可看出,状态I0和I2存在移进-归约冲突，该文法不是LR(0)文法。 对于I0来说有 FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ 所以在I0状态下面临输入符号为a时移进，为b,d,#时归约，为其他时报错。 对于I2来说有也有与I0完全相同的结论。 这就是说，以上的移进-归约冲突是可以解决的，因此该文法是SLR(1)文法。其他SLR(1)分析表为： 下面构造它的SLR(1)项目集规范族为： 表7.1.1 文法的SLR(1)分析表 状态 ACTION GOTO a b d # A 0 S2 r1 r2 r3 1 1 acc 2 S2 r1 r2 r3 3 3 S4 S5 4 r2 r2 r2 r2 5 r1 r1 r1 r1 对输入串ab#给出分析过程为： 步骤 状态栈 符号栈 输入串 ACTION GOTO 1 0 # ab# S2 2 02 #a b# r3 3 3 023 #aA b# S4 4 0234 #aAb # r2 1 5 01 #A # acc 15．已知文法为： S(a|^|(T) T(T,S|S 构造它的LR(0),LALR(1),LR(1)分析表。 给出对输入符号串(a#和(a,a#的分析过程。 说明(1)中三种分析表发现错误的时刻和输入串的出错位置有何区别。 解： (1)加入非终结符S/，方法的增广文法为： S/(S S(a S(^ S((T) T(T,S T(S 下面构造它的LR(0)项目集规范族为： a ^ ( ) , # S T I0: S/(?S S(?a S(?^ S(?(T) I2: S(a? I3: S(^? I4: S((?T) T(?T,S T(?S S(?a S(?^ S(?(T) I1: S/(S? I1 acc I2 I3 I4: S((?T) T(?T,S T(?S S(?a S(?^ S(?(T) I2 I3 I4 I6: T(S? I5: S((T?) T(T?,S I5: S((T?) T(T?,S I7: S((T)? I8: T(T,?S S(?a S(?^ S(?(T) I6 I7: I8: T(T,?S S(?a S(?^ S(?(T) I2 I3 I4 I9 T(T,S? I9 从上表可看出,不存在移进-归约冲突以及归约归约冲突，该文法是LR(0)文法。从而有下面的LR(0)分析表： 表7.15.1 文法的LR(0)分析表 状态 ACTION GOTO a ^ ( ) , # S T 0 S2 S3 S4 1 1 acc 2 r1 r1 r1 r1 r1 r1 3 r2 r2 r2 r2 r2 r2 4 S2 S3 S4 6 5 5 S7 S8 6 r5 r5 r5 r5 r5 r5 7 r3 r3 r3 r3 r3 r3 8 S2 S3 S4 9 9 r4 r4 r4 r4 r4 r4 下面构造它的LR(1)项目集规范族为： a ^ ( ) , # S T I0: S/(?S,# S(?a,# S(?^,# S(?(T),# I2: S(a?,# I3: S(^?,# I4: S((?T),# T(?T,S,)， T(?S,)， S(?a,)， S(?^,)， S(?(T),)， I1: S/(S?,# I1 acc I2 I3 I4: S((?T),# T(?T,S,)， T(?S,)，