编译原理清华大学出版社第8章习题重点题解答.docVIP

1、已知文法： A → aAd|aAb|ξ 判断该文法是否是SLR（1）文法，若是构造相应分析表，并对输入串 #ab# 给出分析过程。 解：(0) A’→ A A → aAd (2) A → aAb (3) A → ξ 构造该文法的活前缀DFA： aI0 a I0： A’ →·A A →·aAd A →·aAb A →· 由上图可知该文法是SLR（1）文法。 构造SLR（1）的分析表： 状态 ACTION GOTO a d b # A 0 S2 R3 R3 R3 1 1 acc 2 S2 R3 R3 R3 3 3 S4 S5 4 R1 R1 R1 5 R2 R2 R2 输入串 #ab#的分析过程： 步骤 状态栈 符号栈 输入串 ACTION GOTO 1 0 # ab# S2 2 02 #a b# R3 3 3 023 #aA b# S5 4 0235 #aAb # R2 1 5 01 #A # acc 3、考虑文法： S →AS|b A→SA|a Follow(A) = first(S) = {b}+first(A)= {a,b} 列出这个文法的所有LR（0）项目 按（1）列出的项目构造识别这个文法活前缀的NFA，把这个NFA确定化为DFA，说明这个DFA的所有状态全体构成这个文法的LR（0）规范族。 这个文法是SLR的吗？若是，构造出它的SLR分析表。 这个文法是LALR或LR（1）的吗？ 解：（0）S’→S (1)S→AS (2)S→b (3)A→SA (4)A→a (1)列出所有LR（0）项目： S’→·S S→·b A→· S’→ S· S→b· A→a· S →·AS A→·SA S →A·S A→S S →AS· A→SA· (3)构造该文法的活前缀NFA： I I0： S’→·S S →·AS S →·b A →·SA A →·a I1： S’→ S· A →S·A A →·SA A →·a S →·AS S →·b S I3： A →SA· S →A·S S →·AS S →·b A →·SA A →·a I5： S →AS· A →S·A A →·SA A →·a S →·AS S →·b I2： S →A·S S →·AS S →·b A →·SA A →·a I4： A →S·A A →·SA A →·a S →·AS S →·b I6： S →b· I7： A →a· A A S A A S A S A S S b a b b b b a a a a a b 由上可知：I1 I3 I5 中存在着移进和归约冲突 在I1中含项目：S’→ S· 归约项 Follow(S’)={#} A →·a 移进项 Follow(S’)∩{a}=∮ S →·b 移进项 Follow(S’)∩{b}=∮ 在I3中含项目：A →SA· 归约项 Follow(A)={a,b} S →·b 移进项 Follow(A) ∩ {b}≠∮ A →·a 移进项 Follow(A) ∩ {a}≠∮ 在I5中含项目：S →AS· 归约项 Follow(S)={#,a,b} A →·a 移进项 Follow(S) ∩ {a}≠∮ S →·b 移进项 Follow(S) ∩ {b}≠∮ 由此可知，I3、I5的移进与归约冲突不能解决，所以这个文法不是SLR（1）文法。 （4）做LR（1）项目集规范族 I2：(I0-A) I2：(I0-A) S →A·S ,a/b/# S →·AS ,a/b/# S →·b ,a/b/# A →·SA ,a/b A →·a ,a/b I1：(I0-S ) S’→ S· ,# A →S·A ,a/b A →·SA ,a/b A →·a ,a/b S →·AS ,a/b S →·b ,a/b I0： S’→·S ，# S →·AS ，a/b/# S →·b ,a/b/# A →·SA ,a/b A →·a ,a/b I6：(I1 I6：(I1-S) A →S·A ,a/b A →·SA ,a/b A →