编译原理第2版答案清华大学出版社文档格式.docx

编译原理第2版答案清华大学出版社文档格式.docx

《编译原理第2版答案清华大学出版社文档格式.docx》由会员分享，可在线阅读，更多相关《编译原理第2版答案清华大学出版社文档格式.docx（32页珍藏版）》请在冰豆网上搜索。

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

语法分析程序：

检查源程序中存在的形式语法错误，输出错误处理信息。

语义分析程序：

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

中间代码生成程序：

按照语义规则，将语法分析程序分析出的语法单位转换成一定形式的中间语言代码，如三元式或四元式。

中间代码优化程序：

为了产生高质量的目标代码，对中间代码进行等价变换处理。

目标代码生成程序：

将优化后的中间代码程序转换成目标代码程序。

表格管理程序：

负责建立、填写和查找等一系列表格工作。

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

可以说整个编译过程就是造表、查表的工作过程。

需要指出的是，这里的“表格管理程序”并不意味着它就是一个独立的表格管理模块，而是指编译

程序具有的表格管理功能。

错误处理程序：

处理和校正源程序中存在的词法、语法和语义错误。

当编译程序发现源程序中的错误时，错误处理程序负责报告出错的位置和错误性质等信息，同时对发现的错误

进行适当的校正（修复），目的是使编译程序能够继续向下进行分析和处理。

第3题何谓翻译程序、编译程序和解释程序？

它们三者之间有何种关系？

答案：

翻译程序是指将用某种语言编写的程序转换成另一种语言形式的程序的程序，如编译程序和汇编程序等。

编译程序是把用高级语言编写的源程序转换（加工）成与之等价的另一种用低级语言编写的目标程序的翻译程序。

解释程序是解释、执行高级语言源程序的程序。

解释方式一般分为两种：

一种方式是，源程序功能的实现完全由解释程序承担和完成，即每读出源程序的一条语句的第一个单词，则依据这个单词把控制转移到实现这条语句功能的程序部分，该部分负责完成这条语句的功能的实现，完成后返回到解释程序的总控部分再读人下一条语句继续进行解释、执行，如此反复；

另一种方式是，一边翻译一边执行，即每读出源程序的一条语句，解释程序就将其翻译成一段机器指令并执行之，然后再读人下一条语句继续进行解释、执行，如此反复。

无论是哪种方式，其加工结果都是源程序的执行结果。

目前很多解释程序采取上述两种方式的综合实现方案，即先把源程序翻译成较容易解释执行的某种中间代码程序，然后集中解释执行中间代码程序，最后得到运行结果。

广义上讲，编译程序和解释程序都属于翻译程序，但它们的翻译方式不同，解释程序是边翻译（解释）边执行，不产生目标代码，输出源程序的运行结果。

而编译程序只负责把源程序翻译成目标程序，输出与源程序等价的目标程序，而目标程序的执行任务由操作系统来完成，即只翻译不执行。

第4题对下列错误信息，请指出可能是编译的哪个阶段（词法分析、语法分析、语义分析、代码生成）报告的。

（1）

else没有匹配的if

（2）

数组下标越界

（3）

使用的函数没有定义

（4）

在数中出现非数字字符

（

1）语法分析

语义分析

语法分析

词法分析

第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=＞DD

第３题为只包含数字、加号和减号的表达式，例如9-2＋5，3-1，７等构造一个文法。

G[S]:

S-＞S+D|S-D|DD-＞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开头的偶正整数集合的文法

T→FT|G

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

第8题文法G[S]为：

A→abB→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*=>

Sa*=>

SS+a*=>

Sa+a*=>

aa+a*

（2）该文法生成的语言是：

*和+的后缀表达式，即逆波兰式。

第10题文法S→S（S）S|ε

（1）生成的语言是什么？

（2）该文法是二义的吗？

说明理由。

（１）嵌套的括号

（２）是二义的，因为对于（）（）可以构造两棵不同的语法树。

第11题令文法G[E]为：

E→T|E+T|E-TT→F|T*F|T/FF→（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最右推导：

ABAa=>

ABaa=>

ASBBaa=>

ASBbaa=>

ASbbaa=>

Abbaa=>

abbaa

（2）产生式有：

S→ABS|Aa|εA→aB→SBB|b可能元素有：

εaaababbaaaaabbaa⋯⋯

（3）该句子的短语有：

a是相对A的短语ε是相对S的短语b是相对B的短语εbb是相对B的短语aa是相对S的短语aεbbaa是相对S的短语直接短语有：

aεb句柄是：

a

第14题给出生成下述语言的上下文无关文法：

（1）{anbnambm|n，m>

=0}

（2）{1n0m1m0n|n，m>

（3）{WaWr|W属于{0|a}*，Wr表示W的逆}答案：

（１）S→AA

A→aAb|ε

（２）S→1S0|AA→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→aAA→aA|BB→bB|b

（3）A→aA|BB→bB|CC→cC|ε

第18题解释下列术语和概念：

（１）字母表：

是一个非空有穷集合。

（２）串：

符号的有穷序列。

字：

字母表中的元素。

句子：

如果Z-+x,x∈V*T则称x是文法G的一个句子。

（３）语言：

它是由句子组成的集合，是由一组记号所构成的集合。

程序设计的语言就是所

有该语言的程序的全体。

语言可以看成在一个基本符号集上定义的，按一定规则构成的一切基本符号串组成的集合。

语法：

表示构成语言句子的各个记号之间的组合规律。

程序的结构或形式。

语义：

表示按照各种表示方法所表示的各个记号的特定含义。

语言所代表的含义。

第4章词法分析

第5章自顶向下语法分析方法

第1题对文法G[S]

S→a|∧|（T）

T→T,S|S

（1）给出（a,（a,a））和（（（a,a）,∧,（a））,a）的最左推导。

（2