编译原理考题.pdfVIP

第一章引论

1.解释下列术语：编译程序、编译程序的前端和后端

答：（1）编译程序：如果源语言为高级语言，目标语言为某台计算机上的汇编语言或机器

语言，则此翻译程序称为编译程序。

（2）编译程序的前端：它由这样一些阶段组成：这些阶段的工作主要依赖于源语言而与

目标机无关。通常前端包括词法分析、语法分析、语义分析和中间代码生成这些阶

段，某些优化工作也可在前端做，也包括与前端每个阶段相关的出错处理工作和符

号表管理等工作。

（3）后端：指那些依赖于目标机而一般不依赖源语言，只与中间代码有关的那些阶段，

即目标代码生成，以及相关出错处理和符号表操作。

2.一个典型的编译程序通常由哪些部分组成？各部分的主要功能是什么？并画出编译程序的总体结构图。

答案：

一个典型的编译程序通常包含8个组成部分，它们是词法分析程序、语法分析程序、语义分析程序、

中间代码生成程序、中间代码优化程序、目标代码生成程序、表格管理程序和错误处理程序。其各部分的主

要功能简述如下：

（1）词法分析程序：输人源程序，拼单词、检查单词和分析单词，输出单词的机内表达形式。

（2）语法分析程序：检查源程序中存在的形式语法错误，输出错误处理信息。

（3）语义分析程序：进行语义检查和分析语义信息，并把分析的结果保存到各类语义信息表中。

（4）中间代码生成程序：按照语义规则，将语法分析程序分析出的语法单位转换成一定形

式的中间语言代码，如三元式或四元式。

（5）中间代码优化程序：为了产生高质量的目标代码，对中间代码进行等价变换处理。

（6）目标代码生成程序：将优化后的中间代码程序转换成目标代码程序。

（7）表格管理程序：负责建立、填写和查找等一系列表格工作。表格的作用是记录源程序的各类信息和编译

各阶段的进展情况，编译的每个阶段所需信息多数都从表格中读取，产生的中间结果都记录在相应的表格中。

可以说整个编译过程就是造表、查表的工作过程。需要指出的是，这里的“表格管理程序”并不意味着它就

是一个独立的表格管理模块，而是指编译程序具有的表格管理功能。

（8）错误处理程序：处理和校正源程序中存在的词法、语法和语义错误。当编译程序发现源程序中的错误时，

错误处理程序负责报告出错的位置和错误性质等信息，同时对发现的错误进行适当的校正（修复），目的是使

编译程序能够继续向下进行分析和处理。

4.对下列错误信息，请指出可能是编译的哪个阶段（词法分析、语法分析、语义分析、

代码生成）报告的。

（1）else没有匹配的if

（2）数组下标越界

（3）使用的函数没有定义

（4）在数中出现非数字字符

答案：

（1）语法分析

（2）运行时或者语义分析

（3）语法分析

（4）词法分析

第三章文法和语言

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]的语言是什么？

答案：长度至少为1的任意的数字串。

3.为只包含数字、加号和减号的表达式，例如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]：

(1)Z：：=aZb

(2)Z：：=ab

写出L(G[Z])的全部元素。

nn

答案：L(G[Z])={ab|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

8.文法G[S]为：

S→Ac|aB

A→ab

B→bc

该文法是否为二义的？为什么？

答案：由于对于文法G[S]的一个句子abc，存在以下两个不同的最右推导：

最右推导1：

最右推导2：