《编译原理》课后习题
第 1 章引论
第 1 题解释下列术语：
（1） 编译程序：如果源语言为高级语言，目标语言为某台计算机上的汇编语言或机器语 言，则此翻译程序称为编译程序。
（2） 源程序：源语言编写的程序称为源程序。
（3） 目标程序：目标语言书写的程序称为目标程序。
（4） 编译程序的前端：它由这样一些阶段组成：这些阶段的工作主要依赖于源语言而与 目标机无关。通常前端包括词法分析、语法分析、语义分析和中间代码生成这些阶 段，某些优化工作也可在前端做，也包括与前端每个阶段相关的出错处理工作和符 号表管理等工作。
（5） 后端：指那些依赖于目标机而一般不依赖源语言，只与中间代码有关的那些阶段， 即目标代码生成，以及相关出错处理和符号表操作。
（6） 遍：是对源程序或其等价的中间语言程序从头到尾扫视并完成规定任务的过程。 第 2 题
一个典型的编译程序通常由哪些部分组成？各部分的主要功能是什么？并画出编译程 序的总体结构图。
答案：一个典型的编译程序通常包含 8 个组成部分，它们是词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、中间代码优化程序、目标代码生成程序、表格管理程序和错误处理程序。其各部分的主要功能简述如下。
词法分析程序：输人源程序，拼单词、检查单词和分析单词，输出单词的机内表达形式。 语法分析程序：检查源程序中存在的形式语法错误，输出错误处理信息。
语义分析程序：进行语义检查和分析语义信息，并把分析的结果保存到各类语义信息表 中。
中间代码生成程序：按照语义规则，将语法分析程序分析出的语法单位转换成一定形式 的中间语言代码，如三元式或四元式。
中间代码优化程序：为了产生高质量的目标代码，对中间代码进行等价变换处理。 目标代码生成程序：将优化后的中间代码程序转换成目标代码程序。
表格管理程序：负责建立、填写和查找等一系列表格工作。表格的作用是记录源程序的 各类信息和编译各阶段的进展情况，编译的每个阶段所需信息多数都从表格中读取，产生的
中间结果都记录在相应的表格中。可以说整个编译过程就是造表、查表的工作过程。需要指
出的是，这里的“表格管理程序”并不意味着它就是一个独立的表格管理模块，而是指编译
程序具有的表格管理功能。
错误处理程序：处理和校正源程序中存在的词法、语法和语义错误。当编译程序发现源 程序中的错误时，错误处理程序负责报告出错的位置和错误性质等信息，同时对发现的错误
进行适当的校正（修复），目的是使编译程序能够继续向下进行分析和处理。 第 3 题何谓翻译程序、编译程序和解释程序？它们三者之间有何种关系？
答案：翻译程序是指将用某种语言编写的程序转换成另一种语言形式的程序的程序，如编译程序和汇编程序等。
编译程序是把用高级语言编写的源程序转换（加工）成与之等价的另一种用低级语言编 写的目标程序的翻译程序。
解释程序是解释、执行高级语言源程序的程序。解释方式一般分为两种：一种方式是，
源程序功能的实现完全由解释程序承担和完成，即每读出源程序的一条语句的第一个单词， 则依据这个单词把控制转移到实现这条语句功能的程序部分，该部分负责完成这条语句的功
能的实现，完成后返回到解释程序的总控部分再读人下一条语句继续进行解释、执行，如此
反复；另一种方式是，一边翻译一边执行，即每读出源程序的一条语句，解释程序就将其翻
译成一段机器指令并执行之，然后再读人下一条语句继续进行解释、执行，如此反复。无论
是哪种方式，其加工结果都是源程序的执行结果。目前很多解释程序采取上述两种方式的综
合实现方案，即先把源程序翻译成较容易解释执行的某种中间代码程序，然后集中解释执行
中间代码程序，最后得到运行结果。
广义上讲，编译程序和解释程序都属于翻译程序，但它们的翻译方式不同，解释程序是 边翻译（解释）边执行，不产生目标代码，输出源程序的运行结果。而编译程序只负责把源
程序翻译成目标程序，输出与源程序等价的目标程序，而目标程序的执行任务由操作系统来
完成，即只翻译不执行。
第 4 题对下列错误信息，请指出可能是编译的哪个阶段（词法分析、语法分析、语义分析、 代码生成）报告的。 （1） else 没有匹配的if （2） 数组下标越界
（3） 使用的函数没有定义 （4） 在数中出现非数字字符 答案：（1） 语法分析 （2） 语义分析 （3） 语法分析 （4） 词法分析
第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} 第2 题文法G[N]为： N→D|ND
D→0|1|2|3|4|5|6|7|8|9
G[N]的语言是什么？
答案:G[N]的语言是V+。V={0,1,2,3,4,5,6,7,8,9} N=>ND=>NDD.... =>NDDDD...D=>D......D
第３题为只包含数字、加号和减号的表达式，例如9-2＋5，3-1，７等构造一个文法。 答案：G[S]: S->S+D|S-D|D
D->0|1|2|3|4|5|6|7|8|9
第4 题已知文法G[Z]：Z→aZb|ab 写出L(G[Z])的全部元素。 答案：Z=>aZb=>aaZbb=>aaa..Z...bbb=> aaa..ab...bbb L(G[Z])={anbn|n>=1}
第5 题写一文法，使其语言是偶正整数的集合。 要求：(1) 允许0 打头；(2)不允许0 打头。 答案：(1)允许0 开头的偶正整数集合的文法 E→NT|D T→NT|D
N→D|1|3|5|7|9 D→0|2|4|6|8
(2)不允许0 开头的偶正整数集合的文法 E→NT|D T→FT|G
N→D|1|3|5|7|9 D→2|4|6|8 F→N|0 G→D|0
第6 题已知文法G：
<表达式>::=<项>｜<表达式>＋<项> <项>::=<因子>｜<项>*<因子> <因子>::=（<表达式>）｜i
试给出下述表达式的推导及语法树。 （1）i（2）（i）（3）i*i （4）i*i +i （5）i+(i+i)（6）i+i*i
第7 题证明下述文法G[〈表达式〉]是二义的。 〈表达式〉∷=a|(〈表达式〉)|〈表达式〉〈运算符〉〈表达式〉 〈运算符〉∷=+|-|*|/
答案：可为句子a+a*a 构造两个不同的最右推导: 最右推导1 〈表达式〉 =>〈表达式〉〈运算符〉〈表达式〉
=>〈表达式〉〈运算符〉a =>〈表达式〉* a =>〈表达式〉〈运算符〉〈表达式〉* a =>〈表达式〉〈运算符〉a * a =>〈表达式〉+ a * a =>a + a * a
最右推导2 〈表达式〉=>〈表达式〉〈运算符〉〈表达式〉
=>〈表达式〉〈运算符〉〈表达式〉〈运算符〉〈表达式〉
=>〈表达式〉〈运算符〉〈表达式〉〈运算符〉 a =>〈表达式〉〈运算符〉〈表达式〉 * a =>〈表达式〉〈运算符〉a * a =>〈表达式〉+ a * a =>a + a * a
第8 题文法G[S]为：S→Ac|aB A→ab B→bc 该文法是否为二义的？为什么？
答案：对于串abc(1)S=>Ac=>abc (2)S=>aB=>abc
即存在两不同的最右推导。所以，该文法是二义的。
或者：对输入字符串abc，能构造两棵不同的语法树，所以它是二义的。
第9 题
考虑下面上下文无关文法：S→SS*|SS+|a
(1)表明通过此文法如何生成串aa+a*，并为该串构造语法树。 (2)G[S]的语言是什么？ 答案：(1)此文法生成串aa+a*的最右推导如下 S=>SS*=>SS*=>Sa*=>SS+a*=>Sa+a*=>aa+a*
(2)该文法生成的语言是：*和+的后缀表达式，即逆波兰式。
第10 题文法S→S(S)S|ε (1) 生成的语言是什么？(2) 该文法是二义的吗？说明理由。 答案：（１） 嵌套的括号
（２） 是二义的，因为对于（）（）可以构造两棵不同的语法树。
第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)找出该句子的所有短语、直接短语、句柄。 答案：(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 可能元素有：ε aa ab abbaa aaabbaa …… (3)该句子的短语有：
a 是相对A 的短语 ε 是相对S 的短语 b 是相对B 的短语 εbb 是相对B 的短语 aa 是相对S 的短语 aεbbaa 是相对S 的短语 直接短语有：a ε b 句柄是：a
第14 题给出生成下述语言的上下文无关文法： （1）{ anbnambm| 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) { anbm|n,m>=1 } (3){anbmck|n,m,k>=0 } 答案：(1) S→aS|ε (2)S→aA A→aA|B B→bB|b (3)A→aA|B B→bB|C C→cC|ε
第18 题解释下列术语和概念： 答案：（１）字母表：是一个非空有穷集合。
（２）串：符号的有穷序列。字：字母表中的元素。 句子：如果 Z-+ x , x ∈V *T 则称 x 是文法 G 的一个句子。
（３）语言：它是由句子组成的集合，是由一组记号所构成的集合。程序设计的语言就是所
有该语言的程序的全体。语言可以看成在一个基本符号集上定义的，按一定规则构成的一切基本符号串组成的集合。