搜索
1考试题型：20分选择题，80分简答设计。考试内容：第三章零碎知识点多，第四章一个大题，第五章一个大题，第六章一个大题。考试题目均来自书本的例题、以及上课讲过的课后习题。书后习题答案（讲过的部分）：第一章（只讲过第4题，其他防止出选择）：1.解释下列术语：编译程序，源程序，目标程序，编译程序的前端，后端和遍。答：编译程序：如果源语言为高级语言，目标语言为某台计算机上的汇编语言或机器语言，则此翻译程序称为编译程序。源程序：源语言编写的程序称为源程序。目标程序：目标语言书写的程序称为目标程序。编译程序的前端：它由这样一些阶段组成：这些阶段的工作主要依赖于源语言而与目标机无关。通常前端包括词法分析、语法分析、语义分析和中间代码生成这些阶段，某些优化工作也可在前端做，也包括与前端每个阶段相关的出错处理工作和符号表管理等工作。后端：指那些依赖于目标机而一般不依赖源语言，只与中间代码有关的那些阶段，即目标代码生成，以及相关出错处理和符号表操作。遍：是对源程序或其等价的中间语言程序从头到尾扫视并完成规定任务的过程。2.一个典型的编译程序通常由哪些部分组成？各部分的主要功能是什么？并画出编译程序的总体结构图。答：一个典型的编译程序通常包含8个组成部分，它们是：词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、中间代码优化程序、目标代码生成程序、表格管理程序和错误处理程序。其各部分的主要功能简述如下：词法分析程序：输人源程序，拼单词、检查单词和分析单词，输出单词的机内表达形式。语法分析程序：检查源程序中存在的形式语法错误，输出错误处理信息。语义分析程序：进行语义检查和分析语义信息，并把分析的结果保存到各类语义信息表中。中间代码生成程序：按照语义规则，将语法分析程序分析出的语法单位转换成一定形式的中间语言代码，如三元式或四元式。中间代码优化程序：为了产生高质量的目标代码，对中间代码进行等价变换处理。目标代码生成程序：将优化后的中间代码程序转换成目标代码程序。表格管理程序：负责建立、填写和查找等一系列表格工作。表格的作用是记录源程序的各类信息和编译各阶段的进展情况，编译的每个阶段所需信息多数都从表格中读取，产生的中间结果都记录在相应的表格中。可以说整个编译过程就是造表、查表的工作过程。需要指出的是，这里的“表格管理程序”并不意味着它就是一个独立的表格管理模块，而是指编译2程序具有的表格管理功能。错误处理程序：处理和校正源程序中存在的词法、语法和语义错误。当编译程序发现源程序中的错误时，错误处理程序负责报告出错的位置和错误性质等信息，同时对发现的错误进行适当的校正（修复），目的是使编译程序能够继续向下进行分析和处理。源程序目标程序注意：如果问编译程序有哪些主要构成成分，只要回答六部分就可以。如果搞不清楚，就回答八部分。3.何谓翻译程序、编译程序和解释程序？它们三者之间有何种关系？答：翻译程序是指将用某种语言编写的程序转换成另一种语言形式的程序的程序，如编译程序和汇编程序等。编译程序是把用高级语言编写的源程序转换（加工）成与之等价的另一种用低级语言编写的目标程序的翻译程序。解释程序是解释、执行高级语言源程序的程序。解释方式一般分为两种：一种方式是，源程序功能的实现完全由解释程序承担和完成，即每读出源程序的一条语句的第一个单词，则依据这个单词把控制转移到实现这条语句功能的程序部分，该部分负责完成这条语句的功能的实现，完成后返回到解释程序的总控部分再读人下一条语句继续进行解释、执行，如此反复；另一种方式是，一边翻译一边执行，即每读出源程序的一条语句，解释程序就将其翻译成一段机器指令并执行之，然后再读人下一条语句继续进行解释、执行，如此反复。无论是哪种方式，其加工结果都是源程序的执行结果。目前很多解释程序采取上述两种方式的综合实现方案，即先把源程序翻译成较容易解释执行的某种中间代码程序，然后集中解释执行中间代码程序，最后得到运行结果。广义上讲，编译程序和解释程序都属于翻译程序，但它们的翻译方式不同，解释程序是边翻译（解释）边执行，不产生目标代码，输出源程序的运行结果。而编译程序只负责把源3程序翻译成目标程序，输出与源程序等价的目标程序，而目标程序的执行任务由操作系统来完成，即只翻译不执行。4.对下列错误信息，请指出可能是编译的哪个阶段（词法分析、语法分析、语义分析、代码生成）报告的。（1）else没有匹配的if；（2）数组下标越界；（3）使用的函数没有定义；（4）在数中出现非数字字符。答案：（1）语法分析（2）语义分析（3）语法分析（4）词法分析第二章（略，因为没讲）第三章（知识点零碎，个人估计选择题多在此，也有可能出个简答题，毕竟大题共80分）1.文法G＝({A,B,S},{a,b,c},P,S)其中P为：S→Ac|aBA→abB→bc写出L(G[S])的全部元素。答案：L(G[S])={abc}2.文法G[N]为：N→D|NDD→0|1|2|3|4|5|6|7|8|9G[N]的语言是什么？答：G[N]的语言是V+。V={0,1,2,3,4,5,6,7,8,9}N=ND=NDD....=NDDDD...D=D......D或者：允许0开头的非负整数？3.为只包含数字、加号和减号的表达式，例如9-2＋5，3-1，７等构造一个文法。答：G[S]:S-S+D|S-D|DD-0|1|2|3|4|5|6|7|8|94.已知文法G[Z]：（1）Z：：=aZb（2）Z：：=ab写出L(G[Z])的全部元素。答：Z=aZb=aaZbb=aaa..Z...bbb=aaa..ab...bbbL(G[Z])={anbn|n=1}45.写一文法，使其语言是偶正整数的集合。要求：(1)允许0打头；(2)不允许0打头。答：(1)允许0开头的偶正整数集合的文法E→NT|DT→NT|DN→D|1|3|5|7|9D→0|2|4|6|8(2)不允许0开头的偶正整数集合的文法E→NT|DT→FT|GN→D|1|3|5|7|9D→2|4|6|8F→N|0G→D|06.已知文法G：表达式::=项｜表达式＋项项::=因子｜项*因子因子::=（表达式）｜i试给出下述表达式的推导及语法树。（5）i+(i+i)（6）i+i*i答：(5)表达式=表达式＋项=表达式＋因子=表达式＋（表达式）=表达式＋（表达式＋项）=表达式＋（表达式＋因子）=表达式＋（表达式＋i）=表达式＋（项＋i）=表达式＋（因子＋i）=表达式＋（i＋i）=项＋（i＋i）=因子＋（i＋i）=i＋（i＋i）5(6)表达式=表达式＋项=表达式＋项*因子=表达式＋项*i=表达式＋因子*i=表达式＋i*i=项＋i*i=因子＋i*i=i＋i*i7.证明下述文法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*a8.文法G[S]为：S→Ac|aBA→abB→bc该文法是否为二义的？为什么？答：对于串abc，有：(1)S=Ac=abc；(2)S=aB=abc即存在两不同的最右推导。所以，该文法是二义的。或者：对输入字符串abc，能构造两棵不同的语法树，所以它是二义的。69.考虑下面上下文无关文法：S→SS*|SS+|a(1)表明通过此文法如何生成串aa+a*，并为该串构造语法（推导）树。(2)G[S]的语言是什么？答：(1)此文法生成串aa+a*的最右推导如下：S=SS*=SS*=Sa*=SS+a*=Sa+a*=aa+a*构造语法（推导）树如右图：(2)该文法生成的语言是：*和+的后缀表达式，即逆波兰式。10.文法S→S(S)S|ε(1)生成的语言是什么？(2)该文法是二义的吗？说明理由。答：（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*F12.略（因为没给答案）713.一个上下文无关文法生成句子abbaa的推导树如下：(1)给出串abbaa最左推导、最右推导。(2)该文法的产生式集合P可能有哪些元素？(3)找出该句子的所有短语、直接短语、句柄。答：(1)串abbaa最左推导:S=ABS=aBS=aSBBS=aBBS=abBS=abbS=abbAa=abbaa最右推导：S=ABS=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第四章（一个大题目）1.构造下列正规式相应的DFA.（1）1(0|1)*101（2）１(1010*|1(010)*1）*0（3）a((a|b)*|ab*a)*b（4）b((ab)*|bb)*ab答：(1)先构造NFA：用子集法将NFA确定化除X，A外，重新命名其他状态，令AB为B、AC为C、ABY为D，因为D含有Y（NFA的终态），所以D为终态。8DFA的状态图：:(2)先构造NFA：用子集法将NFA确定化9将T0、T1、T2、T3、T4、T5、T6、T7、T8、T9、T10、T11、T12、T13、T14重新命名，分别用0、1、2、3、4、5、6、7、8、9、10、11、12、13、14表示。因为2、7、8、10、12中含有Y，所以它们都为终态。10用子集法将NFA确定化将T0、T1、T2、T3、T4、T5重新命名，分别用0、1、2、3、4、5表示。因为3、5中含有Y，所以它们都为终态。DFA的状态图：11(4)先构造NFA：用子集法将NFA确定化：将T0、T1、T2、T3、T4、T5重新命名，分别用0、1、2、3、4、5表示。因为4中含有Y，所以它为终态。DFA的状态图：2.已知NFA＝（｛x,y,z｝,{0,1},M,{x},{z}），其中：M(x,0)={z}，M(y,0)={x,y}，12M(z,0)={x,z}，M(x,1)={x}，M(y,1)=φ，M(z,1)={y}，构造相应的DFA。答：先构造其矩阵用子集法将NFA确定化：将x、z、xz、y、xy、xyz重新命名，分别用A、B、C、D、E、F表示。因为B、C、F中含有z，所以它为终态。3.将下图确定化：13答：用子集法将NFA确定化：重新命名状态子集，令VQ为A、QU为B、VZ为C、V为D、QUZ为E、Z为F。DFA的状态图：4.将下图的（a）和（b）分别确定化和最小化：答：初始分划得Π0：终态组{0}，非终态组{1,2,3,4,5}对非终态组进行审查：{1,2,3,4,5}a⊂{0,1,3,5