编译原理复习及答案2009

考试题型：（满分100分）
1、填空（每空1分，共10分）
2、选择：（单选，每题2分，共30分）
3、术语解释（每题5分，共15分）
4、简答：（每题10分，共10分）
5、计算：（共2题，共35分）
复习题：
一、填空、选择题（参照复习提纲+课上强调部分）
二、术语解释：
1、文法：语言结构的定义和描述
2、句型：假定G是一个文法，S是它的开始符号，如果S
*
α，则称α是G 的一个句型
3、句子：仅含终结符的句型是一个句子
4、文法的语言：文法G所产生的句子的全体称为文法的语言
5、二义文法：若一个文法中存在某个句子，它有两个不同的最左（最右）推导，则称这
个文法是二义的
6、消除回溯：在推导时，根据面临的输入符号去找出唯一正确的候选式
7、句柄：一个句型的最左面的直接短语称为该句型的句柄
8、规范规约：在规约过程中始终对句柄进行规约而形成的序列称为规范规约
9、规范句型：由最左规约所得到的句型称为规范句型
10、前缀：字的任意首部
11、活前缀：规范句型的一个前缀
12、语法制导翻译：为每个产生式配一个翻译子程序，在语法分析过程中，当一个产生式
获得匹配或用于规约时，产生式的语义子程序就进行工作，完成既定的翻译任务。

三、简答题：
1、编译过程包括哪几个主要阶段及每个阶段的功能
编译过程分为词法分析、语法分析、中间代码生成、目标代码生成四个主要阶段。

词法分析的主要任务是从文件读入源程序，识别出每一个单词并输出单词的内部码语法分析的主要任务是根据语法规则，将词法分析器所提供的单词种别分析成各类语法范畴
中间代码生成的主要任务是按照语法分析器所识别出的语法范畴产生相应的中间代码，并建立符号表和常数表，用于登录源程序中各种名字的性质和状态
目标代码生成的主要任务是根据中间代码和表格信息，确定各类数据在内存中的位置，选择合适的指令代码，将中间代码翻译成汇编语言或机器指令
2、请简述编译执行和解释执行的过程和主要区别
编译方式和解释方式的根本区别在于：是否生成了目标代码。

在解释方式下，翻译程序事先并不对高级语言程序进行彻底翻译以得到机器代码，而是每读入一条语句，就解释其含义并执行，然后再读入下一条语句，再解释执行，即按源程序中语句的动态顺序逐句地进行分析翻译，并立即予以执行。

在编译方式下，翻译程序先对高级语言程序进行彻底翻译并生成目标代码，然后再对目标代码进行执行，即对源程序的处理是先翻译后执行
四、计算题：
1、构造正规式(a|b)* a (a|b)对应的NFA，并求出其对应的DFA（画出状态转换图）（1）构造NFA状态转换图
（2）构造转换矩阵，并重新命名
重新命名：
（3）构造DFA状态转换图
2、已知文法G：
S->AB
A->x|ε
B->y|ε
（1）求出该文法每个非终结符的first集和每个非终结符的follow集（2）判断该文法是否是LL(1)文法，若是则构造出LL(1)分析表
（1）求每个非终结符的first集
求每个非终结符的follow集
（2）判断是否是LL(1)文法
对于产生式S->AB，first（AB）={x，y，ε}，follow（S）={#}
对于产生式A->x|ε：first（x）= {x}first(ε) = {ε}follow（A）={y，#} first（x）∩ first（ε）= Φ且 first（x）∩ follow（A）= Φ
对于产生式B->y|ε：first（y）= {y} first(ε) = {ε}follow（B）={#} first（y）∩ first（ε）= Φ且 first（y）∩ follow（B）= Φ
综上判断，该文法是LL(1)文法
构造LL(1)分析表如下：
3、已知文法G：
S->BB
B->aB | b
（1）构造识别活前缀的确定有限自动机（LR(0)项目集规范族）
（2）请构造该文法的SLR(1)分析表，并判断其是否是SLR(1)文法
（1）①对文法进行拓广并对产生式编号
拓广文法G’：
0 S’->S
1 S->BB
2 B->aB
3 B->b
②构造LR(0)项目集规范族
拓广文法的项目集为：
①S’->.S ②S’->S. ③S->.BB ④S->B.B ⑤S->BB. ⑥B->.aB ⑦B->a.B ⑧B->aB.
⑨B->.b ⑩B->b.
构造LR(0)项目集规范族
LR(0)项目集规范族为：
I0：{①S’->.S ，③S->.BB ，⑥B->.aB ，⑨B->.b } I1：{②S’->S.}
I2：{⑥B->.aB ，⑦B->a.B，⑨B->.b }
I3：{⑩B->b.}
I4：{④S->B.B，⑥B->.aB ，⑨B->.b }
I5：{⑧B->aB.}
I6：{⑤S->BB.}
③求非终结符的follow集
first（B）= {a，b}（此处可忽略过程直接写结果）
（2）构造该文法的SLR(1)分析表如下：
由于在分析表中不存在规约-移进的冲突，也不存在规约-规约的冲突，所以该文法是SLR(1)文法。

4、 知文法G ：
S-> Sa | Sb | c | d
（1）请写出句子dbab 所对应的最左推导
（2）请消除该文法中的左递归
（1） 最左推导为：L L L L
S Sb Sab Sbab dbab ⇒⇒⇒⇒ （2） 消除左递归
S->cS ’| dS ’
S ’->aS ’| bS ’| ε
5、已知文法G ：
S->SaA | A
A->AbB | B
B->cSd | e
构造句型AacAbBd 相应的语法树，并给出其短语、直接短语、句柄
（1）句型AacAbBd 对应的语法树）
（2）短语：AacAbBd、A、cAbBd、cAbBd、AbB、AbB 直接短语：A，AbB
句柄：A。