编译原理习题参考答案Word文件下载.docx
《编译原理习题参考答案Word文件下载.docx》由会员分享，可在线阅读，更多相关《编译原理习题参考答案Word文件下载.docx（14页珍藏版）》请在冰豆网上搜索。
|ceA'
⑤
（3）消除⑤的直接左递归有
A→ceA'
A"
⑥
A"
→aeA'
|beA'
|⑦
（4）对S的①产生式提公因子有
S→AB|c⑧
B→|a|b⑨
（5）最后，文法G提取公因子，消除左递归后的产生式由⑧,⑨,⑥,⑦和④组成，无
多余的产生式。
（6）若按A.S排序，得到的产生式组合是另外的形式，但它们是等价的文法，读者可以试试。
9-3解：
消除左递归后，得文法G'
:
S→（L）|a
L→SL'
L'
→,SL'
|
递归下降过程：
Procedurematch（t:
token）;
begin
iflookahead=tthenlookahead=nexttoken
elseerror
end
procedureS;
iflookahead='
a'
thenmatch（'
）
elseiflookahead='
（'
then
begin
match（'
）;
L;
iflookahead='
）'
thenmatch（'
elseerror
end
procudureL;
beginS;
;
procudureL'
'
thenbegin
match（'
S;
L'
end
9-6解：
（1）G'
（S）：
S→AS'
S'
→:
AS'
A→BA'
A'
→+BA'
B→bS*|a
（2）FIRST集和FOLLOW集
FIRST
FOLLOW
S
b，a
#，*
S'
，
A
#，*，:
A'
+，
B
，+
预测分析表
a
+
b
*
#
→
A→BA'
A→
A→+BA'
B→a
B→bS*
（3）因为预测分析表无多重定义入口，所以G'
是LL
（1）文法。
9-7解：
对习题9-3的文法G消除左递归后，得文法G'
：
FIRST集和FOLLOW集
（，a
），’，#
L
L'
’，
（
S→（L）
S→a
L→SL'
因为预测分析表无多重定义入口，所以文法G是LL
（1）文法。
习题10答案
10-1解：
（1）规范规范推导（最右推导）最右推导SABASbAABbbBABb
（2）语法树（推导树）
（3）短语bB,AB,ABb,bBABb
直接短语bB,AB
句柄bB
最左素短语bB
10-2解：
（1）因为存在推导SSbFFbFFaPbFFaPbPFaPbc
所以FaPbc是文法G的一个句型。
（2）语法树
（3）短语FaP,c,FaPbc
直接短语FaP,c
句柄FaP
最左素短语FaP
10-3解：
拓广文法
0.S'
→S
1.S→AS
2.S→b
3.A→SA
4.A→a
LR（0）项目集规范族
I0=closure{S'
→·
S}I1=GO（I0,S）I2=GO（I0,A）I3=GO（I0,b）
SS'
→S·
S→A·
SS→b·
S→·
ASA→S·
AS→·
ASGO（I1,a）=I4
bA→·
SAS→·
bGO（I2,A）=I2
A→·
SAA→·
aA→·
SAGO（I2,b）=I3
aS→·
ASA→·
S→·
I4=GO（I0,a）I5=GO（I1,A）I6=GO（I1,S）I7=GO（I2,S）
A→a·
A→SA·
A→S·
AS→AS·
S→A·
SA→·
SAA→S·
bA→·
SA
bS→·
ASA→·
A→·
AS
aS→·
GO（I1,b）=I3
GO（I2,a）=I4
FOLLOW（S）={a,b,#}FOLLOW（A）={a,b}
∵状态5在输入a时有S4和r3的移进归约矛盾。
状态5在输入b时有S3和r3的移进归约矛盾。
状态7在输入a时有S4和r1的移进归约矛盾。
状态7在输入b时有S3和r1的移进归约矛盾。
∴文法G既不是LR（0）文法，也不是SLR
（1）文法。
10-4解：
（1）最左推导
S（T）（T,S）（S,S）（a,S）（a,（T））
（a,（T,S））（a,（S,S））（a,（a,S））（a,（a,a））
最右推导
S（T）（T,S）（T,（T））（T,（T,S））（T,（T,a）
（T,（S,a））（T,（a,a））（S,（a,a））（a,（a,a））
最左推导
S（T）（T,S）（S,S）（（T）,S）（（S）,S）（（T,S）,S）
（（T,S,S）,S）（（S,S,S）,S）（（（T）,S,S）,S）
（（（T,S）,S,S）,S）（（（S,S）,S,S）,S）（（（a,S）,S,S）,S）
（（（a,a）,S,S）,S）（（（a,a）,∧,S）,S）（（（a,a）,∧,（T））,S）
（（（a,a）,∧,（S））,S）（（（a,a）,∧,（a））,S）
=（（（a,a）,∧,（a））,S）（（（a,a）,∧,（a））,a）
最右推导
S（T）（T,S）（T,a）（S,a）（（T）,a）（（T,S）,a）
（（T,（T））,a）（（T,（S））,a）（（T,（a））,a）（（T,S,（a））,a）
（（T,∧,（a））,a）（（S,∧,（a））,a）（（（T）,∧,（a））,a）
（（（T,S）,∧,（a））,a）（（（T,a）,∧,（a））,a）（（（S,a）,∧,（a））,a）
（（（a,a）,∧,（a））,a）
（2）对句子（a,（a,a））的移进归约栈的变迁如下：
其中，（3），（4），（8），（9），（12），（13），（15），（16），（18）共进行9次归约，最右推导也是9次推导，正好是递过程。
归约（3）的句柄是a，语法树如图
（1）所示。
归约（4）的句柄是S，语法树如图
（2）所示。
归约（8）的句柄是a，语法树如图（3）所示。
归约（9）的句柄是S，语法树如图（4）所示。
归约（12）的句柄是S，语法树如图（5）所示。
归约（13）的句柄是T,S，语法树如图（6）所示。
归约（15）的柄是（T），语法树如图（7）所示。
归约（16）的句柄是T,S，语法树如图（8）所示。
归约（18）的句柄是（T），语法树如图（9）所示。
图（9）即是完整的语法树。
图中的下标是为了区分归约过程中同名文法符号和便于理解而添加的，实际是没有的。
对句子（（（a,a）,∧,（a））,a）的规约栈变迁如图（10）所示。
图（10）
规范推导（最右推导）一共进行17步推导，归约过程也进行了17次归约，语法树如图（11）所示，其中的下标可表明其形成的先后。
图（11）
10-7解：
→SFOLLOW（S）={$}
1.S→ABFOLLOW（A）={b,c}
2.B→cBdFOLLOW（B）={d,$}
3.B→cd
4.A→aAb
5.A→ab
S}
SI4=GO（I2,B）I9=GO（I5,d）
ABS→AB·
B→cd·
aAbI5=GO（I2,c）I10=GO（I6,b）
abB→c·
BdA→aAb·
I1=GO（I0,S）B→·
cBdI11=GO（I8,d）
S'
B→·
cdB→cBd·
I2=GO（I0,A）B→c·
d
S→A·
BI6=GO（I3,A）
B→·
cBdA→aA·
cdGO（I3,a）=I3
I3=GO（I0,a）I7=GO（I3,b）
A→a·
AbA→ab·
bI8=GO（I5,B）
aAbB→cB·
abGO（I5,c）=I5
上述状态集没有移进—归约冲突，（a）是SLR文法，分析表如下：
c
$
S3
1
2
acc
S5
4
3
S7
6
r1
5
S9
8
S10
7
r5
S11
9
r3
10
r4
11
r2
习题11答案
11-1解：
11-3解：
推导树如下：
（1）E→iE·
VAL=B设四元式初始编号ip=100
（2）E→iE·
VAL=C
（3）E→-EE·
VAL=T1（101）（@,c,-,T1）
（4）E→iE·
VAL=D
（5）E→E+EE·
VAL=T2（101）（+,T1,D,T2）
（6）E→E*EE·
VAL=T3（103）（*,B,T2,T3）
（7）S→i:
=E（104）（:
=,T3,-,A）
11-4解：
结果为333645211。
11-5解：
（1）E1→C<
DE1·
F=101（100）（<
C,D,102）
（2）W→whileW·
code=102（101）（j,-,-,103）
（3）E2→A>
BE2·
F=103（102）（>
A,B,104）
（4）E1→E*EE1·
VAL=T1（103）（j,-,-,0）
（5）E2→E+EE2·
VAL=T2（104）（*,2,z.T1）
（6）A→i:
=E2A·
chain=0（105）（+,y,T1,T2）
（7）S→AS1·
chain=0（106）（:
=,T2,-,x）
（8）S→WS1S1·
chain=103（107）（j,-,-,102）
（9）S→ifE1thenS1S·
chain=103
习题12答案
（3）优化结果
（3）B:
=10
（4）A:
=A+8
（5）ifB≥100thengoto（8）
（6）B:
=B+10
（7）goto（4）
（8）writeA
12-2解：
（1）基本块
（2）程序流图
B1
（1）～（3）
B2（4）～（5）
B3（6）～（7）
B4（8）
12-7解：
MOVbR0
ADDR0c
MOVaR1
SVBR1R0
MOVR0t1
MOVdR0
ADDR01
MOVR1t2
MOVeR1
MVLR1f
ADDR0R1
MOVt2R1
DIVR1R0
习题13答案
13-2解：
当运行到C调用B时，活动记录栈的状态如下图。
13-4解：
静态作用域规则下输出0.2500.250
0.2500.250
动态作用域规则下输出0.2500.125
0.2500.125
升级会员 