44B52017A编译答案.docVIP

课程名称 编译方法 考试日期 2009.1.9 考生姓名 学号 专业或类别 考生注意事项：1、本试卷共 9 页，请查看试卷中是否有缺页。 2、考试结束后，考生不得将试卷、答题纸和草稿纸带出考场。 填空题( 每小题 1 分，共 10 分 ) clcnsy LL(1)文法一定不含 左 递归。 设G[S]是一文法，如果符号串x ∈VT*是从识别符号S推导出来的，即有S=*x,则称x是文法G[S]的 句型 。 编译过程中词法分析器所完成的任务是从源程序中识别 单词 。 表达式y:=-a+c*(-b+d)的后缀表达式是 a uminus c b uminus d + * +。 局部优化是局限于一个 基本块 范围内的一种优化。 如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是 二义性 。 所有文法符号的属性都是综合属性的属性文法称为 S属性文法 。 在栈式存储分配里，栈中相邻的活动记录在活动树中的关系是 。 有文法G[Z]： Z→aAb A→Ab| aAb |( 该文法产生的语言为 anbmbn(n=1,m=0) 。 10. 动态存储分配时，可以采用的分配方法是 堆和栈 。 选择题(每小题 1 分，共 10 分) 一个语言的文法是 。 A．唯一的 B．不唯一的 C．个数有限的 若一个文法是递归的，则它所产生语言的句子个数 。 A．必定是无穷的 B．是有限个的 C．根据具体情况而定 给定文法A→bA| cc ，下面的符号串中，为该文法句子的是 。 cc bcbc bcbcc bccbcc bbbcc A．①⑤ B．①③④⑤ C．①④⑤ D．①②③④⑤ 这样一些语言，它们能被确定的有穷自动机识别，但不能用正规表达式表示。A．存在 B．不存在 C．无法判定 LR语法分析栈中存放的状态是识别 的DFA状态。 A．前缀 B．可归前缀 C．项目 D．句柄 PASCAL程序中有名为p的过程，其声明的局部变量的地址分配在 。 A．调用p的过程的活动记录中 B．p的活动记录中 C．主过程的活动记录中 D．公共数据区 设r = (a | b | c)(x | y)则L(r)中元素为 。 A．4个 B．6个 C．9个 D．18个 下面文法对应的正规式是 。 S→Ax | By A→y | Ay B→( | Bx A．yy* x|xy B．yy* x|x*y C．yy*x|y D．y*x|x*y 有这样一个符号表∑={aa，b，cc}，下列选项中哪一个不是该符号表上的符号串 。 A．aabaa B．abccc C．ccaab D．ccbaab LR(k)方法 。 A．都是无二义的 B．都是二义的 C．一部分是二义的 简答题(共 44 分) （本小题10分）设字母表∑={a，b}，给出正规式(a | ba)* 构造与之等价的NFA。(2分) 将该NFA确定化。(6分) 将得到的DFA最小化。(2分) a b [0,1,6] [1,2,5,6] [3] [1,2,5,6] [1,2,5,6] [3] [3] [1,4,5,6] - [1,4,5,6] [1,2,5,6] [3] （本小题8分）给出语句： if ab or cd then i:=i+1 else i:=i-1 的四元式序列。 (1) (j＜，a，，5)(2) (j，－，－，3) (3) (j＜，，，5)(4) (j，－，－，) (5) (＋，，1，T1)(6) (:=，T1，－，) (7) (j，－，－，) (8) (-，，1，T) (9) (:=，T，－，) (10) （本小题10分）设有如下的类型声明: type link=↑row； np=↑row； nqr=↑row； row=record a:integer; b:integer end; var f(a，b:char):↑row； next:link； p：np； q: nqr； r: nqr； 要求： 给出