编译原理简答题1

1.正规表达式的定义P18

正规式是按照一组定义规则，由较简单的正规式构成的，每个正规式r 表示一个语言L （r）。这些定义规则说明L（r）是怎样从r的子正规式所表示的语言中构造出来的。

2.分离词法器的理由P44

1)语言的词法规则简单

2)正规式给出的描述更简洁且易于理解

3)从正规式自动构造出的词法分析器更有效

上面这些理由也决定了此法分析和语法分析的分离。从软件工程的角度看，它们的分离有如下好处：

1)编译器的效率会改进。

2)编译器的可移植性加强。

3)把语言的语法结构分成词法和非词法两部分，为编译器前端的模块划分提供了方便

的途径。

3.上下文无关文法的定义P39

一个上下文无关文法(Context-Free Grammar) G是一个四元组(V T,V N,S,P)，其中

1)V T是一个非空有限集，它的每个元素称为终结符号；

2)V N是一个非空有限集，它的每个元素称为非终结符号，V T∩V N＝φ；

3)S是一个非终结符号，称为开始符号；

4)P是一个产生式的有限，每个产生式的形式是A→α，其中，A∈V N，

α∈(V T∪V N)*。开始符号S至少必须在某个产生式的左部出现一次。产生式指明了

终结符和非终结符组成串的方式。

4.LR文法的特点P71

1)LR分析器能够被构造来识别所有能用上下文无关文法写出的编程语言构造。

2)LR分析方法是已知的最一般的无回溯的移进－归约方法，它能和其他移进－归约

方法一样有效地实现。

3)LR方法能分析的文法类是预测分析法或者说LL方法能分析的文法类的真超集。

4)在自左向右扫描输入的前提下，LR分析器尽可能快地发现语法错误。

5.语法制导的定义P107 ？

在语法制导定义中，每个文法符号有一组属性，对于每个产生式A→α都有与之相关联的一套语义规则，规则形式为b：= f（c1，c2，…，ck），f是一个函数

1)综合属性：如果b是A的属性，c1，c2，····，ck是产生式右部文法符号的属性或

A的其他属性，那么b称为A的综合属性。

2)继承属性：如果b是产生式右部某个文法符号X的属性，c1，c2，···，ck是A的

属性或右部文法符号的属性，那么b称为X的继承属性。

3)S属性定义：仅仅使用综合属性的语法制导定义称为S属性定义。

4)注释分析树：每个结点的属性值都标注出来的分析树。

5)依赖图：分析树结点的属性之间的互相依赖可以用依赖图的有向图来描绘。

6.翻译方案的设计原则P117

1)产生式右部符号的继承属性必须在先于这个符号的动作中计算。

2)一个动作不能引用该动作右边符号的综合属性。

3)左部非终结符的综合属性只能在它所引用的所有属性都计算完后才能计算。计算该

属性的动作通常放在产生式右部的末端。

4)只有综合属性的情况最简单。

7.活动记录用途P166

1)临时数据；保存临时值。

2)局部数据；保存过程的局部数据。

3)保存的机器状态；保存刚好在过程调用前的机器状态信息，包括返回地址及调用过

程使用并且在返回时必须恢复的寄存器的内容。

4)访问链；有些语言需要通过访问链来访问非局部数据。

5)控制链；用来指向调用者的活动记录。

6)参数；调用过程提供的实在参数，由被调用过程使用。

7)返回值。用于存放被调用过程返回给调用过程的值。

8.参数的传递方式及其特点P180

1)值调用：是最简单的传递参数的方法。调用者计算实参，并把它的值（右值）传给被调

用过程。值调用的显著特征是对形参的运算不影响调用者活动记录中的值

2)引用调用：调用者把实参存储单元的地址（即实参的左值）传给被调用者，被调用者对

形参的任何访问就是对对应实参的访问。引用调用的显著特征是对形参的任何赋值都会影响调用者的实参。

3)换名调用：把过程当做宏来对待，也就是在调用点，用被调用过程的体来替换调用者的

调用，但是形参用对应的实参正文代换。被调用过程的局部名与调用过程的名字保持区别。

9.采用中间代码的优点以及常见中间代码表示P200

优点：①再目标比较容易。把针对新机器的后端加到现成的前端上，可以得到另一种机器的编译器。

②独立于机器的代码优化器可用于这种中间表示。

表示: ①后缀表示②图形表示③三地址代码④静态单赋值形式？

10.活动记录布局的原则P171

1)调用者和被调用者之间交流的数据一般放在被调用者活动纪录的开始处，并尽可能

靠近调用者的活动纪录。

2)固定长度的项通常放在活动纪录的中间，一般包括控制链、访问链和机器状态链。

3)在编译时不能及时知道大小的一些项放在活动纪录的末端。