编译原理概念题

1.一个典型的编译系统通常由哪几部分组成？各个部分的主要功能是什么？
答：词法分析、语法分析、语义分析与中间代码生成、代码优化、目标代码生成，以及表格处理、出错处理 七个部分。
语法阶段：对构成源程序的字符串从左到右进行扫描和分解，根据语言的语法规则，识别出一个一个具有独立意义的单词（也称单词符号，简称符号）。
语法分析：检查各种语法单位在语法结构上的正确性。
语义分析与中间代码生成—对语言的各种语法单位赋予具体的意义。
代码优化：对前阶段产生的中间代码进行等价变换或改造，以期获得更为高效的，即省时间和空间的目标代码
目标代码生成：将中间代码变换成特定机器上的绝对指令代码或可重定位的指令代码或汇编指令代码。
表格处理：登记各个阶段需要构造、查找、修改或存取信息于表格中。
出错处理：在编译过程中具有查错能力，并能准确地报告错误的种类及其出错位置，以便用户查找和纠错。

2．简述乔姆斯基是如何对文法进行分类的？
答：乔姆斯基把文法分成四种类型，即0型、1型、2型、3型。划分的依据是对文法中的规则施加不同的限制。0型文法叫无限制文法，1型文法叫上下文有关文法，2型文法叫上下文无关文法，3型文法叫正规文法。

3.数组的内情向量包含哪些内容？
答：在编译程序对数组说明进行语义处理时，须把数组的类型type、维数n、各维的上、下界1k，uk等有关信息记录下来。此外，如果数组是常界的，还可将各维的界差dk以及计算数组元素地址的常量C记录下来。为了便于引用，通常是把上述信息存放于数组相应的“内情向量”之中，对数组内情向量的访问，可通过数组在符号表中的相应登记项的ADDR域以间接寻址方式进行（即将其ADDR域作为指针用于存放内情向量的首地址）。

4.简述语法制导翻译的基本思想？
答：一个句子的语义翻译过程与语法分析过程同时进行。在文法中，文法符号有明确的意义，文法符号之间有确定的语义关系。属性描述语义信息，语义规则描述属性间的关系，将语义规则与语法规则相结合，在语法分析的过程中计算语义属性值。

5.代码优化的目的是什么？中间代码优化有哪三类优化方式？
答：代码优化是为了提高目标代码的质量而引入的，不是必须的，没有代码优化编译程序同样生成目标代码。
三种级别：局部优化、循环优化、全局优化

符号表相关（作用、组织形式、策略）

• 符号表的组织方式有哪几种？

答：一个编译程序对符号表的总体组织有三种选择，①把属性种类完全相同的那些符号组织在一起，构造出表项是分别为等长的多个符号表 ②把所有语言中的符号都组织在一张符号表中，组成一张包括了所有属性的庞大的符号表。 ③折衷方式是根据符号属性相似程度分类组织成若干张表，每张表中记录的符号都有比较多的相同属性。
- 在整个编译期间，对于符号表的操作有哪些？

答：大致可分为五类：
1)对给定名字，查询此名是否已在表中
2)往表中填入一个新的名字
3)对给定名字，访问它的某些信息
4)对给定名字，往表中填写或更新它的某些信息
5)删除一个或一组无用的项

- 符号表的作用有哪些?

答：在编译程序中符号表用来存放语言程序中出现的有关标识符的属性信息，这些信息集中反映了标识符的语义特征属性，起主要作用是：①收集符号属性 ②上下文语义的合法性检查的依据 ③作为目标代码生成阶段地址分配的依据

• 符号表中的信息栏中登记了每个名字的属性和特征等有关信息，如类型、种属、所占单元大小、地址等等。

运行时存储管理
答：分程序结构的栈式存储管理中的活动记录包括哪些内容？
临时工作单元、局部变量、保存机器状态、存取链、控制链、实参，也称形式单元、返回地址、保存该被调过程中返回后的地址。

（1）常用的两种动态存贮分配办法是栈式动态分配和堆式动态分配。

代码优化（局部优化、优化的意义）
答：局部优化是局限于一种基本块范围内的一种优化。
优化：对程序进行各种等价变换，使得从变换后的程序出发，能产生更有效的目标代码。

(2)代码优化的主要目标是如何提高目标程序的运行速度和如何减少目标程序运行时所需的空间。