编译原理习题及答案.doc

第一章 编译程序概述 1.1 什么是编译程序　　编译程序是现代计算机系统的基本组成部分之一，而且多数计算机系统都含有不止一个高级语言的编译程序。对有些高级语言甚至配置了几个不同性能的编译程序。 1.2编译过程概述和编译程序的结构　　编译程序完成从源程序到目标程序的翻译工作，是一个复杂的整体的过程。从概念上来讲，一个编译程序的整个工作过程是划分成阶段进行的，每个阶段将源程序的一种表示形式转换成另一种表示形式，各个阶段进行的操作在逻辑上是紧密连接在一起的。一般一个编译过程划分成词法分析、语法分析、语义分析、中间代码生成，代码优化和目标代码生成六个阶段,这是一种典型的划分方法。事实上，某些阶段可能组合在一起，这些阶段间的源程序的中间表示形式就没必要构造出来了。我们将分别介绍各阶段的任务。另外两个重要的工作：表格管理和出错处理与上述六个阶段都有联系。编译过程中源程序的各种信息被保留在种种不同的表格里，编译各阶段的工作都涉及到构造、查找或更新有关的表格，因此需要有表格管理的工作；如果编译过程中发现源程序有错误，编译程序应报告错误的性质和错误发生的地点，并且将错误所造成的影响限制在尽可能小的范围内，使得源程序的其余部分能继续被编译下去，有些编译程序还能自动校正错误，这些工作称之为出错处理。图1.1表示了编译的各个阶段。 图1.1 编译的各个阶段 1.3 高级语言解释系统　　为了实现在一个计算机上运行高级语言的程序,主要有两个途径：第一个途径是把该程序翻译为这个计算机的指令代码序列，这就是我们已经描述的编译过程。第二个途径是编写一个程序，它解释所遇到的高级语言程序中的语句并且完成这些语句的动作，这样的程序就叫解释程序。从功能上说，一个解释程序能让计算机执行高级语言。它与编译程序的主要不同是它不生成目标代码，它每遇到一个语句，就要对这个语句进行分析以决定语句的含义，执行相应的动作。 第二章：高级语言及其语法描述 问答第1题　　写一文法，使其语言是偶正整数的集合。要求：　　(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 问答第2题　　证明下述文法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 问答第3题　　令文法G[E]为： 　　E→T|E+T|E-T　　T→F|T*F|T/F　　F→(E)|i 　　证明E+T*F是它的一个句型，指出这个句型的所有短语、直接短语和句柄。 答　：　因为存在推导序列: E E+T E + * F 所以 E+T*F是文法G[E]的一个句型　　句型 E+T*F的　　短语有:E+T*F,T*F 　　直接短语有:T*F 　　句柄为:T*F 问答第4题　　给出生成下述语言的上下文无关文法：　　（1）{ anbnambm| n，m=0} 　　（2） { 1n0m 1m0n| n，m=0} 答： (1)　　S→AA　　 A→aAb|ε  (2)　　 S→1S0|A 　　 A→0A1|ε 问答第5题　　给出生成下述语言的三型文法： 　　(1) { anbm|n,m=1 } 　　(2){anbmck|n,m,k=0 } 答： (1)　　S→aA 　　 A→aA|B　　 B→bB|b (2)　　A→aA|B