编译原理2008期末考试试卷答案.docVIP

2008 一 、选择题、 2．画出编译程序的总框图，并描述各部分的功能。 答：总体框架图如下： 词法分析器，又称扫描器，输入源程序，进行词法分析，输出单词符号。 语法分析器，简称分析器，对单词符号串进行语法分析（根据语法规则进行推导或归约），识别出各类语法单位，最终判断输入串是否构成语法上正确的“程序”。 语义分析和中间代码产生器，按照语义规则对于法分析器归约出（或推导出）的语法单位进行语义分析并把它们翻译成一定形式的中加代码。 优化器，对中间代码进行优化处理 目标代码生成器，把中间代码翻译成目标程序。 表格管理：编译程序在工作过程中需要保持一系列的表格，以登记源程序的各类信息和编译各结点的进展状况。 一个编译程序不仅应能对书写正确的程序进行翻译，而且应能对出现在源程序中的错误进行恢复。如果源程序有错误，编译程序应设法发现错误，把有关错误信息报告给用户，这就是由错误处理程序完成的。 3．简述为什么自顶向下的语法分析技术不能处理具有左递归的文法。 答：在自顶向下的语法分析技术中，要解决的问题是根据当前输入符号判断将识别符号以及非终结符号替换成哪条规则的右部，若文法具有左递归，则在分析过程中，无法判断替换的规则，造成无穷递归求解过程。 4．对于同一个文法，LALR(1)和SLR(1)的分析表的状态个数相同，为什么前者的分析能力要比后者强？ 答：主要是因为两者对向前看一的集合的取法不同造成的。SLR(1)是简单向前看的LR分析技术，它以LR(0)项为基础，仅在遇到冲突时向前看一个符号，以通过这种方法消除冲突。LALR(1)是向前看LR分析技术，它以LR(1)分析表为基础，对LR(1)的状态集合进行简化，合并其中的同心项集合，比简单向前看一符号的集合要小，更精确，因此发生冲突的可能性更小。所以LALR(1)要比SLR(1)分析能力强。 三、推导题 1．设文法G(S):S→Sb S→Ab S→b A→Aa A→a (1) 消除左递归和回溯； 构造相应的FIRST和FOLLOW集合； 构造预测分析表S →AbS | bS S→bS | ε A →aA A→aA’| ε （2）构造FIRST集合（1分）构造FOLLOW集合（2分） FIRST(S)={a,b} FOLLOW(S)={#} FIRST(S)={b,ε} FOLLOW(S)={#} FIRST(A)={a} FOLLOW(A)={b} FIRST(A)={a,ε) FOLLOW(A)={b} （3）构造预测分析表（3分） - a b # S S→AbS S→bS - S - S→bS S→ε A A→aA’ - - A A→aA’ A→ε 2. 构造一个NFA， (1) 接受字母表{a,b}上的正规式(ab|a)*bb*描述的集合。(4分) (2) 将(1)中的NFA转换为等价的DFA (3分) (3) 将(2)中的DFA转换为最小状态DFA（写出步骤）(3分) 答：构造的NFA如下： 确定化过程： 状态集合 a b {0} A {0,1} B {2} C {0,1} B {0,1} B {0,2} D {2} C {2} C {0,2} D {0,1} B {2} C 确定的DFA如下： 上面的DFA已经是最小化的。 3. 为文法G[S] S→(L) | a L→L,S | S (a)写出一个语法制导定义，计算括号的对数（5分） (b)写出一个语法制导定义，计算括号嵌套的最大深度（5分） 答：(a) 产生式 语义动作 S→(L) S.num = L.num + 1 S→a S.num = 0 L→L1,S L.num = L1.num + S.num L→S L.num = S.num (b) 产生式 语义动作 S→(L) S.max = L.max + 1 S→a S.max = 0 L→L1,S L.max = if L1.max S.max then L1.max else S.max L→S L.max = S.max 4. 对于文法 S→A A→AB A→ε B→aB B→b (1) 构造LR(1)分析表； (2) 给出用LR(1)分析表对输入符号串abab的分析过程。状态 项目集 经过的符号 到达的状态 I0 S’ →·S# S→·A, # A→·AB, a/b/# A→·, a/b/# S A I1 I2 I1 S’ →S·, # I2 S→A·, # S→A·B, a/b/# B→·aB, a/b# B→·b, a/b/# B a