编译原理复习资料
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第3章文法和语言
第1题
文法G＝({A,B,S},{a,b,c},P,S)其中P为：
S→Ac|aB
A→ab
B→bc
写出L(G[S])的全部元素。
答案：
L(G[S])={abc}
第 11题
令文法 G[E]为：
E→T|E+T|E-T
T→F|T*F|T/F
F→(E)|i
证明 E+T*F是它的一个句型，指出这个句型的所有短语、直接短语和句柄。答案：
此句型对应语法树如右，故为此文法一个句型。
或者：因为存在推导序列: E=>E+T=>E+T*F，所
以E+T*F句型
此句型相对于E的短语有:E+T*F；相对于 T的短语
有 T*F
直接短语为：T*F
句柄为：T*F
第 13题
一个上下文无关文法生成句子abbaa的推导树如下：
(1)给出串abbaa最左推导、最右推导。
(2)该文法的产生式集合 P可能有哪些元素？
(3)找出该句子的所有短语、直接短语、句柄。
A
S
a S
B
B B A
S
a
《编译原理》课后习题答案第三章
答案：
(1)串abbaa最左推导:
S=>ABS=>aBS=>aSBBS=>aBBS=>abBS=>abbS=>abbAa=>abbaa
最右推导：
S=>ABS=>ABAa=>ABaa=>ASBBaa=>ASBbaa=>ASbbaa=>Abbaa=>abbaa (2)产生式有：S→ABS |Aa|ε A→a B→SBB|b
abbaa aaabbaa ⋯
可能元素有：ε aa ab
(3)该句子的短语有：
a是相对 A的短语
ε是相对 S的短语
b是相对 B的短语
εbb是相对 B的短语
aa是相对 S的短语
aεbbaa是相对 S的短语
直接短语有：a ε b
句柄是：a
第 14题
给出生成下述语言的上下文无关文法：
（1）{ a n b n a m b m| n，m>=0}
（2）{ 1n0m 1m0n| n，m>=0}
（3）{WaWr|W属于{0|a}*，Wr表示W的逆}
答案：
（１）
S→AA
A→aAb|ε
（２）
S→1S0|A
A→0A1|ε
（３）
S→0S0|1S1|ε
第 16题
给出生成下述语言的三型文法：
(1){an|n >=0 }
(2) { a n b m|n,m>=1 }
(3){a n b m c k|n,m,k>=0 }
答案：
(1) S→aS|ε
(2)
S→aA
A→aA|B
B→bB|b
(3)
A→aA|B
B→bB|C
问题 6：
已知文法G[E]:
E→ET+|T
T→TF* | F
F→F^ | a
试证：FF^^*是文法的句型，指出该句型的短语、简单短语和句柄. 答案：
该句型对应的语法树如下：
该句型相对于E的短语有FF^^*
相对于T的短语有FF^^*,F
相对于F的短语有F^;F^^
简单短语有F;F^
句柄为 F.
C→cC|ε
第4章词法分析
第1题
（３）a((a|b)*|ab*a)*b
（４）b((ab)*|bb)*ab 答案：
(1)先构造NFA：
用子集法将 NFA确定化
. X A AB AC ABY
.
A
AC
A
AC
1
A
AB
AB
ABY
AB
除X，A外，重新命名其他状态，令AB为B、AC为C、ABY为D，因为D含有Y（NFA 的终态），所以 D为终态。
.01
X.
AA A
BB C
BC A
DD C
B
DFA的状态图：:
盛威网（）专业的计算机学习网站 1
(2)先构造 NFA：
0 ε
X 1 A ε
ε
B 1
C 0
ε
D 1
E ε
ε
L 0 Y F
用子集法将 NFA确定化1 G 0 H 1 I 0
ε
J 1 K ε
X
T0=X
A
T1= ABFL
Y
CG
T2= Y
T3= CGJ
DH
K
T4= DH
EI
T5= ABFKL
T6= ABEFIL EJY
T7= ABEFGJLY EHY
CGK
T8= ABEFHLY EY
CGI
T9= ABCFGJKL DHY
T10= ABEFLY T11= CGJI
DHJ
T12= DHY
T13= DHJ
EIK
T14= ABEFIKL ε
X
ABFL
Y
CGJ
DH
ABFKL
ABEFIL
ABEFGJLY
ABEFHLY
ABCFGJKL
ABEFLY
CGJI
DHY
DHJ
ABEFIKL
Y
DH
Y
EJY
EHY
EY
DHY
EY
DHJ
EJY
1
A
CG
K
EI
CG
CG
CGK
CGI
CGK
CG
K
EI
EIK
CG