编译原理考试题及答案汇总
一、选择
1．将编译程序分成若干个“遍”是为了_B__。
A . 提高程序的执行效率 B.使程序的结构更加清晰
C. 利用有限的机器内存并提高机器的执行效率 D.利用有限的机器内存但降低了机器的执行效率 2．正规式 MI 和 M2 等价是指__C__。
A . MI 和 M2 的状态数相等 B.Ml 和 M2 的有向弧条数相等。
C .M1 和 M2 所识别的语言集相等 D. Ml 和 M2 状态数和有向弧条数相等 3．中间代码生成时所依据的是 _C_。
A．语法规则 B．词法规则 C．语义规则 D．等价变换规则 4．后缀式 ab+cd+/可用表达式__B_来表示。
A． a+b/c+d B．(a+b)/(c+d) C． a+b/(c+d) D． a+b+c/d
6． 一个编译程序中，不仅包含词法分析，_A____，中间代码生成，代码优化， 目标代码生成等五个部分。
A．( ) 语法分析 B．( )文法分析 C．( )语言分析 D．( )解释分析 7． 词法分析器用于识别__C___。
A．( ) 字符串 B．( )语句 C．( )单词 D．( )标识符 8． 语法分析器则可以发现源程序中的___D__。
A．( ) 语义错误 B．( ) 语法和语义错误 C．( ) 错误并校正 D．( ) 语法错误 9． 下面关于解释程序的描述正确的是__B___。
(1) 解释程序的特点是处理程序时不产生目标代码 (2) 解释程序适用于 COBOL 和 FORTRAN 语言
(3) 解释程序是为打开编译程序技术的僵局而开发的
A．( ) (1)(2) B．( ) (1) C．( ) (1)(2)(3) D．( ) (2)(3) 10． 解释程序处理语言时 , 大多数采用的是__B___方法。
A．( ) 源程序命令被逐个直接解释执行
B．( ) 先将源程序转化为中间代码 , 再解释执行 C．( ) 先将源程序解释转化为目标程序 , 再执行 D．( ) 以上方法都可以
11． 编译过程中 , 语法分析器的任务就是__B___。
(1) 分析单词是怎样构成的 (2) 分析单词串是如何构成语句和说明的 (3) 分析语句和说明是如何构成程序的 (4) 分析程序的结构
A．( ) (2)(3) B．( ) (2)(3)(4)C．( ) (1)(2)(3) D．( ) (1)(2)(3)(4) 12． 编译程序是一种___C__。
A. ( ) 汇编程序 B．( ) 翻译程序 C．( ) 解释程序 D．( ) 目标程序 13． 文法 G 所描述的语言是_C____的集合。
A. ( ) 文法 G 的字母表 V 中所有符号组成的符号串 B．( ) 文法 G 的字母表 V 的闭包 V* 中的所有符号串 C．( ) 由文法的开始符号推出的所有终极符串 D. ( ) 由文法的开始符号推出的所有符号串
14． 文法分为四种类型，即 0 型、1 型、2 型、3 型。其中 3 型文法是___B__。
A. ( ) 短语文法 B．( ) 正则文法 C．( ) 上下文有关文法 D．( ) 上下文无关文法 15． 一个上下文无关文法 G 包括四个组成部分，它们是：一组非终结符号，一 组终结符号，一个开始符号，以及一组 __D___。
A．( ) 句子 B．( ) 句型 C．( ) 单词 D．( ) 产生式 16． 通常一个编译程序中，不仅包含词法分析，语法分析，中间代码生成，代码优化，目 标代码生成等五个部分，还应包括_C____。
专业技术分享
WORD格式可编辑
A．( ) 模拟执行器 B ．( ) 解释器
C．( ) 表格处理和出错处理 D．( ) 符号执行器
17． 文法 G[N]= （ {b} ， {N ， B} ， N ， {N→b│ bB ， B→bN} ），该文法所描述 的语言是C
A．( ) L(G[N])={bi│ i ≥ 0} B．( ) L(G[N])={b2i│ i≥ 0} C．( ) L(G[N])={b2i+1│ i ≥ 0} D．( ) L(G[N])={b2i+1│ i ≥ 1} 18． 一个句型中的最左_B____称为该句型的句柄。
A．( ) 短语 B．( ) 简单短语 C．( ) 素短语 D．( ) 终结符号
19．设 G 是一个给定的文法，S 是文法的开始符号，如果 S->x( 其中 x∈V*), 则称 x 是 文法 G 的一个___B__。
A．( ) 候选式 B ．( ) 句型 C．( ) 单词 D．( ) 产生式 20． 文法 G[E] ： E →T∣E ＋ T T →F∣T ﹡ F F →a∣ （ E ）
该文法句型 E ＋ F ﹡ (E ＋ T) 的简单短语是下列符号串中的_____。
① （ E ＋ T ） ②E ＋ T ③F ④ F ﹡ (E ＋ T)
A．( ) ① 和 ③ B．( ) ② 和 ③ C．( ) ③ 和 ④ D．( ) ③ 21． 若一个文法是递归的，则它所产生的语言的句子__A___。
A．( ) 是无穷多个 B ．( ) 是有穷多个 C．( ) 是可枚举的 D．( ) 个数是常量 22． 词法分析器用于识别___C__。
A．( ) 句子 B ．( ) 句型 C．( ) 单词 D．( ) 产生式
23． 在语法分析处理中， FIRST 集合、 FOLLOW 集合、 SELECT 集合均是_B____。
A . ( ) 非终极符集 B ．( ) 终极符集 C．( ) 字母表 D . ( ) 状态集 24． 在自底向上的语法分析方法中，分析的关键是__A___。
A .( ) 寻找句柄 B .( ) 寻找句型 C .( ) 消除递归 D .( ) 选择候选式 25． 在 LR 分析法中，分析栈中存放的状态是识别规范句型___C__的 DFA 状态。
A .( ) 句柄 B .( ) 前缀 C .( ) 活前缀 D .( ) LR(0) 项目 26． 文法 G 产生的__D___的全体是该文法描述的语言。
A．( ) 句型 B．( ) 终结符集 C．( ) 非终结符集 D．( ) 句子 27． 若文法 G 定义的语言是无限集，则文法必然是 ___A__
A．( ) 递归的 B ．( ) 前后文无关的 C ．( ) 二义性的 D．( ) 无二义性的
28． 四种形式语言文法中，1 型文法又称为 __A___文法。
A．( ) 短语结构文法 B ．( ) 前后文无关文法 C．( ) 前后文有关文法 D．( ) 正规文法 29． 一个文法所描述的语言是__A___。
A．( ) 唯一的 B．( ) 不唯一的
C．( ) 可能唯一，好可能不唯一 D．( ) 都不对 30． __B___和代码优化部分不是每个编译程序都必需的。
A．( ) 语法分析 B ．( ) 中间代码生成 C．( ) 词法分析 D．( ) 目标代码生成 31．_B____是两类程序语言处理程序。
A．( ) 高级语言程序和低级语言程序 B ．( ) 解释程序和编译程序 C．( ) 编译程序和操作系统 D．( ) 系统程序和应用程序 32． 数组的内情向量中肯定不含有数组的_A____的信息。
A . ( ) 维数 B．( ) 类型 C．( ) 维上下界 D．( ) 各维的界差
33. 一个上下文无关文法 G 包括四个组成部分，它们是：一组非终结符号，一组终结符号， 一个开始符号，以及一组 __D___。
A．( ) 句子 B．( ) 句型
专业技术分享
WORD格式可编辑
C．( ) 单词 D．( ) 产生式
34． 文法分为四种类型，即 0 型、1 型、2 型、3 型。其中 2 型文法是___D__。
A . ( ) 短语文法 B ．( ) 正则文法
C．( ) 上下文有关文法 D．( ) 上下文无关文法
35．一个上下文无关文法 G 包括四个组成部分，它们是：一组非终结符号，一组终结符号， 一个开始符号，以及一组 __D___。
A．( ) 句子 B．( ) 句型 C．( ) 单词 D．( ) 产生式 36．__A___是一种典型的解释型语言。
A．( ) BASIC B．( ) C C．( ) FORTRAN D．( ) PASCAL 37．与编译系统相比，解释系统___D__。
A．( ) 比较简单 , 可移植性好 , 执行速度快 B．( ) 比较复杂 , 可移植性好 , 执行速度快 C ．( ) 比较简单 , 可移植性差 , 执行速度慢 D．( ) 比较简单 , 可移植性好 , 执行速度慢
38．用高级语言编写的程序经编译后产生的程序叫__B___。
A．( ) 源程序 B ．( ) 目标程序 C．( ) 连接程序 D．( ) 解释程序
39．编写一个计算机高级语言的源程序后 , 到正式上机运行之前，一般要经过___B__这几步:
(1) 编辑 (2) 编译 (3) 连接 (4) 运行
A . ( ) (1)(2)(3)(4) B．( ) (1)(2)(3) C．( ) (1)(3) D．( ) (1)(4) 40．把汇编语言程序翻译成机器可执行的目标程序的工作是由__A___完成的。
A．( ) 编译器 B．( ) 汇编器 C．( ) 解释器 D．( ) 预处理器 41．词法分析器的输出结果是__C___。
A．( ) 单词的种别编码 B．( ) 单词在符号表中的位置 C．( ) 单词的种别编码和自身值 D．( ) 单词自身值 42． 文法 G ：S→xSx|y 所识别的语言是__C___。
A．( ) xyx B．( ) (xyx)* C ．( ) xnyxn(n≥0) D．( ) x*yx* 43．如果文法 G 是无二义的，则它的任何句子α___A__。
A．( ) 最左推导和最右推导对应的语法树必定相同 B．( ) 最左推导和最右推导对应的语法树可能不同 C．( ) 最左推导和最右推导必定相同
D．( ) 可能存在两个不同的最左推导，但它们对应的语法树相同 44．构造编译程序应掌握___D___。
A．( ) 源程序 B ．( ) 目标语言 C．( ) 编译方法 D．( ) 以上三项都是 45．四元式之间的联系是通过__B___实现的。
A．( ) 指示器 B ．( ) 临时变量 C．( ) 符号表 D．( ) 程序变量
46．表达式( ┐ A ∨B)∧(C∨D)的逆波兰表示为___B__。
A . ( ) ┐ AB∨∧CD∨ B ．( ) A ┐ B∨CD∨∧ C．( ) AB∨┐ CD∨∧ D．( ) A┐ B ∨∧CD∨ 47. 优化可生成__D___的目标代码。
A．( ) 运行时间较短 B．( ) 占用存储空间较小
C．( ) 运行时间短但占用内存空间大 D．( ) 运行时间短且占用存储空间小 48．下列__C____优化方法不是针对循环优化进行的。
A . ( ) 强度削弱 B ．( ) 删除归纳变量 C．( ) 删除多余运算 D．( ) 代码外提 49．编译程序使用__B___区别标识符的作用域。
A . ( ) 说明标识符的过程或函数名
B．( ) 说明标识符的过程或函数的静态层次
专业技术分享
WORD格式可编辑
C．( ) 说明标识符的过程或函数的动态层次 D . ( ) 标识符的行号
50．编译程序绝大多数时间花在___D__ 上。
A．( ) 出错处理 B．( ) 词法分析 C．( ) 目标代码生成 D．( ) 表格管理 51． 编译程序是对__D___。
A．( ) 汇编程序的翻译 B ．( ) 高级语言程序的解释执行 C．( ) 机器语言的执行 D．( ) 高级语言的翻译 52． 采用自上而下分析，必须__C___。
A．( ) 消除左递归 B ．( ) 消除右递归 C．( ) 消除回溯 D．( ) 提取公共左因子 53．在规范归约中，用__B___来刻画可归约串。
A．( ) 直接短语 B．( ) 句柄
C．( ) 最左素短语 D．( ) 素短语
54． 若 a 为终结符，则 A ->α • aβ 为__B___项目。
A．( ) 归约 B ．( ) 移进 C．( ) 接受 D．( ) 待约 55．间接三元式表示法的优点为__A___。
A．( ) 采用间接码表，便于优化处理 B ．( ) 节省存储空间，不便于表的修改 C．( ) 便于优化处理，节省存储空间 D．( ) 节省存储空间，不便于优化处理 56．基本块内的优化为___B__。
A . ( ) 代码外提，删除归纳变量 B．( ) 删除多余运算，删除无用赋值 C．( ) 强度削弱，代码外提 D．( ) 循环展开，循环合并 57． 在目标代码生成阶段，符号表用___D__。
A．( ) 目标代码生成 B．( ) 语义检查 C．( ) 语法检查 D．( ) 地址分配
58．若项目集 Ik 含有 A ->α • ，则在状态 k 时，仅当面临的输入符号 a∈FOLLOW(A)时，才采取“A ->α • ”动作的一定是__D___。
A . ( ) LALR 文法 B．( ) LR(0)文法 C．( ) LR(1)文法 D．( ) SLR(1)文法
59．堆式动态分配申请和释放存储空间遵守__D___原则。
A . ( ) 先请先放 B．( ) 先请后放 C．( ) 后请先放 D . ( ) 任意
二、判断
1．计算机高级语言翻译成低级语言只有解释一种方式。(×)
2．在编译中进行语法检查的目的是为了发现程序中所有错误。(×)
3．甲机上的某编译程序在乙机上能直接使用的必要条件是甲机和乙机的操作系 统功能完全相同。 (√ )
4．正则文法其产生式为 A->a ， A->Bb, A,B∈VN ， a 、 b∈VT 。 (×) 5．每个文法都能改写为 LL(1) 文法。 (√)
6．递归下降法不允许任一非终极符是直接左递归的。 (√) 7．算符优先关系表不一定存在对应的优先函数。 (×)
8．自底而上语法分析方法的主要问题是候选式的选择。 (×) 9．LR 法是自顶向下语法分析方法。 (×)
10．简单优先文法允许任意两个产生式具有相同右部。 (×)
11．“ 用高级语言书写的源程序都必须通过编译, 产生目标代码后才能投入运行 ”这种说法。( × ) 12 ．若一个句型中出现了某产生式的右部，则此右部一定是该句型的句柄。( × ) 13 ．一个句型的句柄一定是文法某产生式的右部。 ( √) 14 ．在程序中标识符的出现仅为使用性的。 ( × ) 15 ．仅考虑一个基本块，不能确定一个赋值是否真是无用的。 ( √ ) 16 ．削减运算强度破坏了临时变量在一基本块内仅被定义一次的特性。 ( √ )
专业技术分享
WORD格式可编辑
17．在中间代码优化中循环上的优化主要有不变表达式外提和削减运算强度。 ( × ) 18 ．数组元素的地址计算与数组的存储方式有关。 ( × ) 19 ．编译程序与具体的机器有关,与具体的语言无关。 ( × ) 20．递归下降分析法是自顶向上分析方法。( √ )
21．产生式是用于定义词法成分 的一种书写规则。 ( × ) 22．LR 法是自顶向下语法分析方法。 (×)
23．在 SLR （ 1 ）分析法的名称中，S 的含义是简单的。( √) 24 ．综合属性是用于 “ 自上而下 ” 传递信息。( × )
25．符号表中的信息栏中登记了每个名字的 属性和特征等有关信息 ，如类型、种属、所占 单元大小、地址等等。 ( × )
26．程序语言的语言处理程序是一种应用软件。 ( × ) 27．一个 LL(l)文法一定是无二义的。 ( × ) 28 ．正规文法产生的语言都可以用上下文无关文法来描述。 ( × )
29．一张转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。 ( √) 30 ．目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。 ( × ) 31．逆波兰法表示的表达式亦称后缀式 。 ( √ )
32．如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。 ( √ ) 33．数组元素的地址计算与数组的存储方式有关。( × )
34．对于数据空间的存贮分配， FORTRAN 采用动态贮存分配策略。 ( × ) 35．编译程序是对高级语言程序的解释执行。( × )
36．一个有限状态自动机中，有且仅有一个唯一的终态。( × )
37．语法分析时必须先消除文法中的左递归 。 ( × ) 38．LR 分析法在自左至右扫描输入串时就能发现错误，但不能准确地指出出错地点。 ( √ ) 39．逆波兰表示法表示表达式时无须使用括号。 ( √ ) 40．静态数组的存储空间可以在编译时确定。 ( × )
41．进行代码优化时应着重考虑循环的代码优化，这对提高目标代码的效率将起更大作用。( × ) 42．两个正规集相等的必要条件是他们对应的正规式等价。( × ) 43．一个语义子程序描述了一个文法所对应的翻译工作。 ( × ) 44．r 和 s 分别是正规式，则有 L(r|s)=L(r)L(s)。( × ) 45．确定的的自动机以及不确定的自动机都能正确地识别正集(√) 46 ．分析作为单独的一遍来处理较好。 ( × ) 47． LR 分析器的任务就是产生 LR 分析表。 (√ ) 48．归约和规范推导是互逆的两个过程。 (√ )
49．同心集的合并有可能产生新的“移进”/ “归约” 冲突 (×) 50.lR 分析技术无法适用二义文法。 ( × )
51树形表示和四元式不便于优化，而三元式和间接三元式则便于优化。 ( × ) 52序中的表达式语句在语义翻译时不需要回填技术。 ( √)
三、填空
1．编译程序的工作过程一般可以划分为词法分析,语法分析,语义分析,中间代码 生成,代码优化等几个基本阶段,同时还会伴有__表格处理___和 ___出错处理__。
2．若源程序是用高级语言编写的,___目标程序__是机器语言程序或汇编程序, 则其翻译程序称为 ___编译程序__ 。
3．编译方式与解释方式的根本区别在于__是否生成目标代码___。
专业技术分享
WORD格式可编辑
4．对编译程序而言,输入数据是___源程序__, 输出结果是__目标程序___。 5．产生式是用于定义___语法成分__的一种书写规则。
6．语法分析最常用的两类方法是___自上而下__和___自下而上__分析法 7．设 G 是一个给定的文法，S 是文法的开始符号，如果 S->x( 其中 x∈VT*), 则称 x 是文 法的一个__句子___。
8．递归下降法不允许任一非终极符是直接__左___递归的。
9．自顶向下的语法分析方法的基本思想是：从文法的__开始符号____开始，根据给定的输 入串并按照文法的产生式一步一步的向下进行__直接推导____，试图推导出文法的__句子
____，使之与给定的输入串___匹配___。
10．自底向上的语法分析方法的基本思想是：从输入串入手，利用文法的产生式一步一步地 向上进行___直接归约__ ，力求归约到文法的__开始符号___。 11常用的参数传递方式有___传地址__，传值和传名。
12．在使用高级语言编程时,首先可通过编译程序发现源程序的全部__语法___错误和语义的部分错误。 13___句柄_。 ．一个句型中的最左简单短语称为该句型的
14．对于文法的每个产生式都配备了一组属性的计算规则，称为 __语义规则___ 。 15．一个典型的编译程序中，不仅包括__词法分析___、__语法分析___、__中间代码生成___、 代码优化、目标代码生成等五个部分，还应包括表格处理和出错处理。 16 ． 从功能上说，程序语言的语句大体可分为__执行性___语句和__说明性___语句两大类。17． 产生式是用于定义__语法范畴___的一种书写规则。
18．语法分析是依据语言的__语法___规则进行的，中间代码产生是依据语言的__语义___规 进行的。 19 ．语法分析器的输入是__单词符号串___，其输出是__语法单位___。20．产生式是用于定义___语法成分__的一种书写规则。
21．逆波兰式 ab+c+ d*e- 所表达的表达式为__(a+b+c)*d-e___ 。
22．语法分析最常用的两类方法是__自上而下___和__自下而上___分析法。
23．计算机执行用高级语言编写的程序主要有两种途径：___解释__和__编译___。
24．扫描器是__词法分析器___，它接受输入的__源程序___，对源程序进行___词法分析__ 并识别出一个个单词符号，其输出结果是单词符号，供语法分析器使用。 25 ．自上而下分析法采用___移进__、归约、错误处理、___接受__等四种操作。 26．一个 LR 分析器包括两部分：一个总控程序和___一张分析表_。
27．后缀式 abc-/所代表的表达式是___a/(b-c)__。 28．局部优化是在__基本块___范围内进行的一种优化。
29．词法分析基于__正则___文法进行，即识别的单词是该类文法的句子。
30．语法分析基于__上下文无关___文法进行，即识别的是该类文法的句子。语法分析的有效 工具是__语法树___。
31．分析句型时，应用算符优先分析技术时，每步被直接归约的是__最左素短语___，而应用 LR 分析技术时，每步被直接归约的是___句柄__。
32．语义分析阶段所生成的与源程序等价的中间表示形式可以有__逆波兰___、___三元式表示__与___四元式表示__等。
33．按 Chomsky 分类法，文法按照___规则定义的形式__进行分类。
34．一个文法能用有穷多个规则描述无穷的符号串集合（语言）是因为文法中存在有___递归 __定义的规则。
35．一个名字的属性包括__类型___和__作用域___。
专业技术分享
WORD格式可编辑
四、综合题
1. 已知文法 G(E)
E →T|E＋T T→F|T *F F →(E)|i
(1)给出句型(T *F＋i)的最右推导；
(2)给出句型(T *F＋i)的短语、简单短语、句柄、素短语、最左素短语。 解：
(1) 最右推导：E ->T->F->(E)->(E ＋ T)->(E ＋ F)->(E ＋ i)->(T＋i)->(T*F＋i) (2) 短语：(T*F＋i) ，T*F＋i ，T*F，i 简单短语：T*F,i 句柄：T*F
素短语：T*F,i 最左素短语：T*F
2. 构造正规式 1(0|1)*101 相应的 DFA 。 解：先构造 NFA ：
确定化：
重新命名，令 AB 为 B、AC 为 C、ABY 为 D 得：
专业技术分享
WORD格式可编辑
所以，可得 DFA 为：
3. 文法： S->MH|a H ->LSo| ε K ->dML| ε L ->eHf M->K|bLM
判断 G 是否为 LL(1) 文法，如果是，构造 LL(1) 分析表。 解：各符号的 FIRST 集和 FOLLOW集为：
各产生式SELECT集为： S->MH S->a H ->LSo H ->ε K ->dML K ->ε L ->eHf M->K M-> bLM 预测分析表
SELECT {d,b,e,#,o} {a} {e} {#,f,o} {d} {e,#,o} {e} {d,e,#,o} {b}
专业技术分享
WORD格式可编辑
由于预测分析表中无多重入口，所以可判定文法是 LL(1)的。 4. 对下面的文法 G ： E ->TE' E'->+E| ε T ->FT' T' ->T| ε F-> PF' F'-> *F'| ε P->(E)|a|b|^
(1)计算这个文法的每个非终结符的 FIRST 集和 FOLLOW 集。 (4 分) (2) 证明这个方法是 LL(1) 的。(4 分) (3) 构造它的预测分析表。(2 分)
解：（1）计算这个文法的每个非终结符的 FIRST 集和 FOLLOW集。 FIRST 集合有：
FIRST(E)=FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^}; FIRST(E')={+,ε }
FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^}; FIRST(T')=FIRST(T)U{ε}={(,a,b,^, ε}; FIRST(F)=FIRST(P)={(,a,b,^}; FIRST(F')=FIRST(P)={*, ε}; FIRST(P)={(,a,b,^}; FOLLOW 集合有： FOLLOW(E)={),#};
FOLLOW(E')=FOLLOW(E)={),#}; FOLLOW(T)=FIRST(E')UFOLLOW(E)={+,),#};//不包含ε FOLLOW(T')=FOLLOW(T)=FIRST(E')UFOLLOW(E)={+,),#}; FOLLOW(F)=FIRST(T')UFOLLOW(T)={(,a,b,^,+,),#};//不包含ε FOLLOW(F')=FOLLOW(F)=FIRST(T')UFOLLOW(T)={(,a,b,^,+,),#}; FOLLOW(P)=FIRST(F')UFOLLOW(F)={*,(,a,b,^,+,),#};//不包含ε (2)证明这个方法是 LL(1)的。 各产生式的 SELECT 集合有： SELECT(E->TE')=FIRST(T)={(,a,b,^}; SELECT(E'->+E)={+};
SELECT(E'->ε)=FOLLOW(E/)={),#} SELECT(T->FT')=FIRST(F)={(,a,b,^}; SELECT(T'->T)=FIRST(T)={(,a,b,^}; SELECT(T'->ε)=FOLLOW(T/)={+,),#}; SELECT(F->PF')=FIRST(P)={(,a,b,^}; SELECT(F'->*F')={*};
SELECT(F'->ε )=FOLLOW(F')={(,a,b,^,+,),#}; SELECT(P->(E))={(} SELECT(P->a)={a} SELECT(P->b)={b} SELECT(P->^)={^}
专业技术分享
WORD格式可编辑
可见，相同左部产生式的 SELECT 集的交集均为空，所以文法 G[E]是 LL(1)文法。 (3)构造它的预测分析表。 文法 G[E]的预测分析表如下：
5.已知文法 G[S] 为： S->a|^|(T) T-> T,S|S
(1) 计算 G[S] 的 FIRSTVT 和 LASTVT 。
(2) 构造 G[S] 的算符优先关系表并说明 G[S] 是否未算符优先文法。 (3) 给出输入串 (a,a)# 的算符优先分析过程。 解：（1）各符号的 FIRSTVT 和 LASTVT：
（2）算符优先关系表：
（3）句子(a,a)#分析过程如下：
专业技术分享
WORD格式可编辑
6.已知文法为：
S->a|^|(T) T->T,S|S
构造它的 LR(0)分析表。
解：加入非终结符 S' ，方法的增广文法为： S'->S S->a S->^ S->(T) T ->T,S
T ->S 下面构造它的 LR(0)项目集规范族为：
从上表可看出,不存在移进- 归约冲突以及归约归约冲突，该文法是 LR(0)文法。 从而有下面的 LR(0)分析表：
7.已知文法为： A ->aAd|aAb| ε
专业技术分享
WORD格式可编辑
判断该文法是否是 SLR(1) 文法，若是构造相应分析表，并对输入串 ab# 给出分析过程。 解：增加一个非终结符 S/后，产生原文法的增广文法有： S'->A A ->aAd|aAb|ε 下面构造它的 LR(0)项目集规范族为：
从上表可看出, 状态 I0 和 I2 存在移进- 归约冲突，该文法不是 LR(0)文法。对于 I0 来说有：
FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ ，所以在 I0 状态下面临输入符号为 a 时移进，为 b,d,#时
归约，为其他时报错。对于 I2 来说有也有与 I0 完全相同的结论。这就是说，以上的移进 - 归约冲突是可以解决的，因此该文法是 SLR(1)文法。
其 SLR(1)分析表为：
对输入串 ab#给出分析过程为：
专业技术分享
WORD格式可编辑
《编译原理》历年试题及答案
一． （每项选择2分，共20分）选择题 1．将编译程序分成若干个“遍”是为了_b__。 a.提高程序的执行效率 b.使程序的结构更加清晰
c.利用有限的机器内存并提高机器的执行效率 d.利用有限的机器内存但降低了机器的执行效率 2．构造编译程序应掌握__d__。 a.源程序 b.目标语言 c.编译方法 d.以上三项都是 3．变量应当c＿。 a.持有左值 b.持有右值
c.既持有左值又持有右值 d.既不持有左值也不持有右值 4．编译程序绝大多数时间花在_d___上。 a.出错处理 b.词法分析 c.目标代码生成 d.管理表格 5．词法分析器的输出结果是_c___。 a.单词的种别编码 b.单词在符号表中的位置 c.单词的种别编码和自身值 d.单词自身值 6．正规式MI和M2等价是指__c__。
a. MI和M2的状态数相等 b.Ml和M2的有向弧条数相等。
C.M1和M2所识别的语言集相等 d. Ml和M2状态数和有向弧条数相等 7．中间代码生成时所依据的是—c。
a．语法规则 b．词法规则 c．语义规则 d．等价变换规则 8．后缀式ab+cd+/可用表达式__b_来表示。
a． a+b/c+d b． (a+b)/(c+d) c． a+b/(c+d) d． a+b+c/d
9．程序所需的数据空间在程序运行前就可确定，称为____c_＿管理技术。 a.动态存储 b.栈式存储 c.静态存储 d.堆式存储
10.堆式动态分配申请和释放存储空间遵守___d____＿原则。 a.先请先放 b.先请后放 c.后请先放 d.任意 二（每小题10分，共80分）简答题
1.画出编译程序的总体结构图，简述各部分的主要功能。 2. 已知文法G[E]:
E→ET+|T T→TF* | F F→F^ | a
试证：FF^^*是文法的句型，指出该句型的短语、简单短语和句柄. 3．为正规式(a|b) *a(a|b)构造一个确定的有限自动机。 4． 设文法G(S)： S→(L)|a S|a L→L，S|S
(1) 消除左递归和回溯；
专业技术分享
WORD格式可编辑
(2) 计算每个非终结符的FIRST和FOLLOW； (3) 构造预测分析表。 5． 已知文法 A->aAd| aAb|ε
判断该文法是否SLR（1）文法，若是构造相应分析表，并对输入串ab#给出分析过程。 6． 构造算符文法G[H]的算符优先关系（含＃）。 G[H]：H→H;M|M M→d|aHb
7．已构造出文法G（S） （1）S BB （2）B aB （3）B b 1）。给出DFA图 2）.给出LR分析表
3）．假定输入串为abaab，请给出LR分析过程（即状态，符号，输入串的变化过程）。 8． 将下面的语句翻译成四元式序列： while A (1)求出流图中各结点N的必经结点集D(n)， (2)求出流图中的回边， (3)求出流图中的循环。 参 考 答 案 一．单项选择题 1. 将编译程序分成若干个“遍”是为了使编译程序的结构更加清晰，故选b。 2. .构造编译程序应掌握源程序、目标语言及编译方法等三方面的知识，故选d。 3. 对编译而言，变量既持有左值又持有右值，故选c。 4. 编译程序打交道最多的就是各种表格，因此选d。 5. 词法分析器输出的结果是单词的种别编码和自身值，选C。 6. 正规式M1和M2所识别的语言集相等，故选C。 7. 选c。 8. 选b。 9. 选C 10. 堆式动态分配申请和释放存储空间不一定遵守先请后放和后请先放的原则，故选d 二．简答题 1． 【解答】 编译程序的总体结构图如图1.2所示。 词法分析器：输入源程序，进行词法分析，输出单词符号。 专业技术分享 WORD格式可编辑 语法分析器：在词法分析的基础上，根据语言的语法规则（文法规则）把单词符号串分 解成各类语法单位，并判断输入串是否构成语法上正确的“程序”。 中间代码生成器：按照语义规则把语法分析器归约（或推导）出的语法单位翻译成一定 形式的中间代码，比如说四元式。 优化：对中间代码进行优化处理。 目标代码生成器：把中间代码翻译成目标语言程序。 表格管理模块保存一系列的表格，登记源程序的各类信息和编译各阶段的进展情况。编 译程序各阶段所产生的中间结果都记录在表格中，所需信息多数都需从表格中获取，整个编 译过程都在不断地和表格打交道。 出错处理程序对出现在源程序中的错误进行处理。此外，编译的各阶段都可能出现错误， 出错处理程序对发现的错误都及时进行处理。 2． 【解答】 该句型对应的语法树如下：该句型相对于E的短语有FF^^*；相对于T的短语有FF^^*,F; 相对于F的短语有F^;F^^;简单短语有F;F^;句柄为F. 3． 【解答】 最简DFA如图2.66所示。 4． 【解答】 (1) S→(L)|aS’ S’→S|ε L→SL’ L’→SL’|ε 评分细则：消除左递归2分，提公共因子2分。 (2) FIRST和FOLLOW FIRST)S)＝{(，a} FOLLOW(S)＝{#，，，)} FIRST(S’)＝{，a,ε} FOLLOW(S’)＝{#，，，)} FIRST(L)＝{(，a} FOLLOW(L)＝{ )} FIRST(L’)＝{，，ε} FOLLOW(L’〕＝{ )} 5． 【解答】 (1)拓广文法 (0)S->A (1) A->aAd (2)A-> aAb (3)A->ε (2)构造识别活前缀的DFA FOLLOW(A)={d,b,#} 对于状态I0：FOLLOW(A)∩{a}=Ф 对于状态I1：FOLLOW(A)∩{a}=Ф 因为，在DFA中无冲突的现象，所以该文法是SLR(1)文法。 (3)SLR(1)分析表 状态 ACTION GOTO a B d # A 0 S2 r3 r3 r3 1 1 acc 2 S2 r3 r3 r3 3 专业技术分享 WORD格式可编辑 专业技术分享 WORD格式可编辑 3 S5 S4 4 r1 r1 r1 5 r2 r2 r2 (4)串ab#的分析过程 步骤 状态栈 符号栈 当前字符 剩余字符串 动作 1 0 # a b# 移进 2 02 #a b # 归约A->ε 3 023 #aA b # 移进 4 0235 #aAb # 归约A-> aAb 5 01 #A # 接受 6． 【解答】 由M→d和M→a…得：FIRSTVT(M)=｛d,a｝； 由H-H;…得：FIRSTVT(H)=｛；｝ 由H→M得：FIRSTVT(M) cFIRSTVT(H)，即FIRSTVT(H)={;,d,a} 由M→d和M→…b得：LASTVT(M)={d,b}； 由H---，；m得：LASTVT(H)=｛；｝； 由H→M得：LASTVT（M）cLASTVT(H），即LASTVT(H)=｛;,d,b} 对文法开始符H,有#H#存在，即有＃=＃，# 对形如P→…ab…，或P→…aQb…，有a=b，由M→a|b得：a=b； 对形如P→…aR…，而b∈FIRSTVT(R)，有a 由H→…；M得：； 专业技术分享 WORD格式可编辑 (3) 句子abaab的分析过程 表:句子abaab的分析过程 步骤 状态 符号栈 输入串 所得产生式 0 #0 # abaad# 1 #03 #a baad# 2 #034 #ab aab# B→b 3 #036 #aB aab# B→aB 4 #02 #B aab# 5 #023 #Ba ab# 6 #0233 #Baa b# 7 #02334 #Baab # 8 #02336 #BaaB # 9 #0236 #BaB ad# 10 #025 #BB ad# 11 #01 #S d# 12 # # d# 13 识别成功 8． 【解答】 该语句的四元式序列如下（其中E1、E2和E3分别对应：A 107 (j,_,_,112) /*跳过else后的语句*/ 108 (j≤,A,D,110) /*E3为T*/ 109 (j,_,_,112) /*E3为F*/ 110 (＋,A,2,A) /*A:=A+2*/ 111 (j,_,_,108) /*转回内层while语句开始处*/ 112(j,_,_,100) /*转回外层while语句开始处*/ 113 9． 【解答】 (1)流图中各结点N的必经结点集D(n)， D(l)＝{1}，D(2)＝{1,2}，D(3)＝{1,2,3}，D(4)={1,2,3,4}，D(5)＝{1,2,5}， D(6)＝{1,2,5,6} (2)求出流图中的回边， 5->2，4->3 (3)求出流图中的循环: 回边5->2对应的循环：2、5、3、4； 专业技术分享 WORD格式可编辑 回边4->3对应的循环：3、4 专业技术分享 WORD格式可编辑 《编译原理》模拟试题一 一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分） 1．计算机高级语言翻译成低级语言只有解释一种方式。(×) 2．在编译中进行语法检查的目的是为了发现程序中所有错误。(×) 3．甲机上的某编译程序在乙机上能直接使用的必要条件是甲机和乙机的操作系 统功能完全相同。 (√ ) 4．正则文法其产生式为 A->a ， A->Bb, A,B∈VN ， a 、 b∈VT 。 (×) 5．每个文法都能改写为 LL(1) 文法。 (√) 6．递归下降法允许任一非终极符是直接左递归的。 (√) 7．算符优先关系表不一定存在对应的优先函数。 (×) 8．自底而上语法分析方法的主要问题是候选式的选择。 (×) 9．LR 法是自顶向下语法分析方法。 (×) 10．简单优先文法允许任意两个产生式具有相同右部。 (×) 二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每 个4分，共40分) 1． 一个编译程序中，不仅包含词法分析，_____，中间代码生成，代码优化， 目标代码生成等五个部分。 A．( ) 语法分析 B．( )文法分析 C．( )语言分析 D．( )解释分析 2． 词法分析器用于识别_____。 A．( ) 字符串B．( )语句C．( )单词 D．( )标识符 3． 语法分析器则可以发现源程序中的_____。 A．( ) 语义错误 B．( ) 语法和语义错误 C．( ) 错误并校正 D．( ) 语法错误 专业技术分享 WORD格式可编辑 4． 下面关于解释程序的描述正确的是_____。 (1) 解释程序的特点是处理程序时不产生目标代码 (2) 解释程序适用于 COBOL 和 FORTRAN 语言 (3) 解释程序是为打开编译程序技术的僵局而开发的 A．( ) (1)(2) B．( ) (1) C．( ) (1)(2)(3) D．( ) (2)(3) 5． 解释程序处理语言时 , 大多数采用的是_____方法。 A．( ) 源程序命令被逐个直接解释执行 B．( ) 先将源程序转化为中间代码 , 再解释执行 C．( ) 先将源程序解释转化为目标程序 , 再执行 D．( ) 以上方法都可以 6． 编译过程中 , 语法分析器的任务就是_____。 (1) 分析单词是怎样构成的 (2) 分析单词串是如何构成语句和说明的 (3) 分析语句和说明是如何构成程序的 (4) 分析程序的结构 A．( ) (2)(3) B．( ) (2)(3)(4)C．( ) (1)(2)(3) D．( ) (1)(2)(3)(4) 7． 编译程序是一种_____。 A. ( ) 汇编程序 B．( ) 翻译程序C．( ) 解释程序 D．( ) 目标程序 8． 文法 G 所描述的语言是_____的集合。 A. ( ) 文法 G 的字母表 V 中所有符号组成的符号串 B．( ) 文法 G 的字母表 V 的闭包 V* 中的所有符号串 专业技术分享 WORD格式可编辑 C．( ) 由文法的开始符号推出的所有终极符串 D. ( ) 由文法的开始符号推出的所有符号串 9． 文法分为四种类型，即0型、1型、2型、3型。其中3型文法是_____。 A. ( ) 短语文法 B．( ) 正则文法C．( ) 上下文有关文法 D．( ) 上下文 无关文法 10． 一个上下文无关文法 G 包括四个组成部分，它们是：一组非终结符号，一 组终结符号，一个开始符号，以及一组 _____。 A．( ) 句子 B．( ) 句型C．( ) 单词 D．( ) 产生式 三、填空题(每空1分，共10分) 1．编译程序的工作过程一般可以划分为词法分析,语法分析,语义分析,中间代码 生成,代码优化等几个基本阶段,同时还会伴有__表格处理___和 ___出错处理__。 2．若源程序是用高级语言编写的,___目标程序__是机器语言程序或汇编程序, 则其翻译程序称为 ___编译程序__ 。 3．编译方式与解释方式的根本区别在于__是否生成目标代码___。 4．对编译程序而言,输入数据是___源程序__, 输出结果是__目标程序___。 5．产生式是用于定义___语法成分__的一种书写规则。 6．语法分析最常用的两类方法是___自上而下__和___自下而上__分析法。 四、简答题（20分） 1. 什么是句子？ 什么是语言 ? 答：(1)设G是一个给定的文法，S是文法的开始符号，如果S x(其中x∈VT*),则称x是文 法的一个句子。 (2)设G[S]是给定文法，则由文法G所定义的语言L(G)可描述为： L(G)＝{x│S x,x∈VT*} 。 2. 写一文法，使其语言是偶正整数的集合,要求： (1)允许0打头； (2) 不允许0打头。 专业技术分享 WORD格式可编辑 解：(1)G[S]=({S,P,D,N},{0,1,2,…,9},P,S) P: S->PD|D P->NP|N D->0|2|4|6|8 N->0|1|2|3|4|5|6|7|8|9 (2)G[S]=({S,P,R,D,N,Q },{0,1,2,…,9},P,S) P: S->PD|P0|D P->NR|N R->QR|Q D->2|4|6|8 N->1|2|3|4|5|6|7|8|9 Q->0|1|2|3|4|5|6|7|8|9 3. 已知文法 G[E] 为： E→T|E+T|E-T T→F|T*F|T/F F→ （ E ） |i ① 该文法的开始符号（识别符号）是什么？ 专业技术分享 WORD格式可编辑 ② 请给出该文法的终结符号集合 VT 和非终结符号集合 VN 。 ③ 找出句型 T+T*F+i 的所有短语、简单短语和句柄。 解：① 该文法的开始符号（识别符号）是E。 ②该文法的终结符号集合VT={+、-、*、/、（、）、i}。 非终结符号集合VN={E、T、F}。 ③句型T+T*F+I的短语为i、T*F、第一个T、T+T*F+i; 简单短语为i、T*F、第一个T;句柄 为第一个T。 4. 构造正规式相应的 NFA : 1(0|1)*101 解1(0|1)*101对应的NFA为 5. 写出表达式(a＋b*c)/(a＋b)－d的逆波兰表示和三元式序列。 逆波兰表示： abc*＋ab＋/d－ 三元式序列： ① (*，b，c) ② (＋，a，①) ③ (＋， a，b) ④ (/，②，③) ⑤ (－，④，d) 五.计算题（10分） 构造下述文法 G[S] 的自动机： S->A0 A->A0|S1|0 该自动机是确定的吗？若不确定，则对它确定化。 解：由于该文法的产生式S->A0，A->A0|S1中没有字符集VT的输入，所以不是确定的自 动机。 要将其他确定化，必须先用代入法得到它对应的正规式。把S?A0代入产生式A?S1 有：A=A0|A01|0=A(0|01)|0=0(0|01)*。 代入S->A0有该文法的正规式：0(0|01)*0，所以，改 写该文法为确定的自动机为： 由于状态A有3次输入0的重复输入，所以上图只是NFA，下面将它确定化： 下表由子集法将NFA转换为 DFA: 由上表可知DFA为： 《编译原理》模拟试题二 专业技术分享 WORD格式可编辑 一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分） 1．“ 用高级语言书写的源程序都必须通过编译,产生目标代码后才能投入运行 ”这种说法。 (× ) 2．若一个句型中出现了某产生式的右部，则此右部一定是该句型的句柄。(× ) 3．一个句型的句柄一定是文法某产生式的右部。 (√) 4．在程序中标识符的出现仅为使用性的。 (× ) 5．仅考虑一个基本块，不能确定一个赋值是否真是无用的。 (√ ) 6．削减运算强度破坏了临时变量在一基本块内仅被定义一次的特性。 (√ ) 7．在中间代码优化中循环上的优化主要有不变表达式外提和削减运算强度。 (× ) 8．算符优先关系表不一定存在对应的优先函数。 (×) 9．数组元素的地址计算与数组的存储方式有关。 (×) 10．编译程序与具体的机器有关,与具体的语言无关。 (× ) 二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每个4分，共 40分) 1． 通常一个编译程序中，不仅包含词法分析，语法分析，中间代码生成，代码优化，目 标代码生成等五个部分，还应包括_____。 A．( ) 模拟执行器 B．( ) 解释器 C．( ) 表格处理和出错处理 D．( ) 符号执行器 2． 文法 G[N]= （ {b} ， {N ， B} ， N ， {N→b│bB ， B→bN} ），该文法所描述 的语言是 A．( ) L(G[N])={bi│i≥0} B．( ) L(G[N])={b2i│i≥0} C．( ) L(G[N])={b2i+1│i≥0} D．( ) L(G[N])={b2i+1│i≥1} 3． 一个句型中的最左_____称为该句型的句柄。 A．( ) 短语 B．( ) 简单短语 C．( ) 素短语 D．( ) 终结符号 专业技术分享 WORD格式可编辑 4． 设 G 是一个给定的文法， S 是文法的开始符号，如果 S->x( 其中 x∈V*), 则称 x 是 文法 G 的一个_____。 A．( ) 候选式 B．( ) 句型 C．( ) 单词 D．( ) 产生式 5． 文法 G[E] ： E→T∣E ＋ T T→F∣T ﹡ F F→a∣ （ E ） 该文法句型 E ＋ F ﹡ (E ＋ T) 的简单短语是下列符号串中的_____。 ① （ E ＋ T ） ②E ＋ T ③F ④ F ﹡ (E ＋ T) A．( ) ① 和 ③ B．( ) ② 和 ③ C．( ) ③ 和 ④ D．( ) ③ 6． 若一个文法是递归的，则它所产生的语言的句子_____。 A．( ) 是无穷多个 B．( ) 是有穷多个 C．( ) 是可枚举的 D．( ) 个数是常量 7． 词法分析器用于识别_____。 A．( ) 句子 B．( ) 句型 C．( ) 单词 D．( ) 产生式 8． 在语法分析处理中， FIRST 集合、 FOLLOW 集合、 SELECT 集合均是_____。 A. ( ) 非终极符集 B．( ) 终极符集 C．( ) 字母表 D. ( ) 状态集 9． 在自底向上的语法分析方法中，分析的关键是_____。 A.( ) 寻找句柄 B.( ) 寻找句型 C.( ) 消除递归 D.( ) 选择候选式 10． 在 LR 分析法中，分析栈中存放的状态是识别规范句型_____的 DFA 状态。 专业技术分享 WORD格式可编辑 A.( )句柄 B.( ) 前缀 C.( )活前缀 D.( ) LR(0) 项目 三、填空题(每空1分，共10分) 1．设G是一个给定的文法，S是文法的开始符号，如果S->x( 其中 x∈VT*), 则称 x是文 法的一个__句子___。 2．递归下降法不允许任一非终极符是直接__左___递归的。 3．自顶向下的语法分析方法的基本思想是：从文法的__开始符号____开始，根据给定的输 入串并按照文法的产生式一步一步的向下进行__直接推导____，试图推导出文法的__句子 ____，使之与给定的输入串___匹配___。 4．自底向上的语法分析方法的基本思想是：从输入串入手，利用文法的产生式一步一步地 向上进行___直接归约__ ，力求归约到文法的__开始符号___。 5．常用的参数传递方式有___传地址__，传值和传名。 6．在使用高级语言编程时,首先可通过编译程序发现源程序的全部__语法___错误和语义部 分错误。 四、简答题（20分） 1. 已知文法 G[S] 为： S→dAB A→aA|a B→Bb|ε G[S] 产生的语言是什么？ 答：G[S]产生的语言是L(G[S])={danbm│n≥1,m≥0}。 2. 简述 DFA 与 NFA 有何区别 ? 答：DFA与NFA的区别表现为两个方面:一是NFA可以若干个开始状态，而DFA仅只一个 开始状态。 另一方面，DFA的映象M是从K×Σ到K，而NFA的映象M是从K×Σ到K的 子集， 即映象M将产生一个状态集合（可能为空集），而不是单个状态。 3. 构造正规式相应的 DFA : 1(1010 * | 1(010) * 1) * 0。 解：1(1010 * | 1(010) * 1) * 0对应的NFA为： 专业技术分享 WORD格式可编辑 4. 已知文法G(S) S→a|∧|(T) T→T，S|S 专业技术分享 WORD格式可编辑 写出句子((a，a)，a)的规范归约过程及每一步的句柄。 解： 句型 归约规则 句柄 ((a，a)，a) S→a a ((S，a)，a) T→S S ((T，a)，a) S→a a ((T，S)，a) T→T，S T，S ((S)，a) T→S S ((T)，a) S→S(T) (T) (S，a) T→S S (T，a) S→a a (T，S) T→T，S T，S (T) S→(T) (T) S 5. 何谓优化？按所涉及的程序范围可分为哪几级优化？ 1)优化：对程序进行各种等价变换，使得从变换后的程序出发，能产生更有效的目标代码。 (2) 三种级别：局部优化、循环优化、全局优化。 五.计算题（10分） 对下面的文法 G ： E->TE' E'->+E| ε T->FT' T' ->T| ε F-> PF' F'-> *F'| ε 专业技术分享 WORD格式可编辑 P->(E)|a|b|^ (1)计算这个文法的每个非终结符的 FIRST 集和 FOLLOW 集。 (4分) (2) 证明这个方法是 LL(1) 的。(4分) (3) 构造它的预测分析表。(2分) 解：（1）计算这个文法的每个非终结符的FIRST集和FOLLOW集。 FIRST集合有： FIRST(E)=FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^}; FIRST(E')={+,ε} FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^}; FIRST(T')=FIRST(T)∪{ε}={(,a,b,^,ε}; FIRST(F)=FIRST(P)={(,a,b,^}; FIRST(F')=FIRST(P)={*,ε}; FIRST(P)={(,a,b,^}; FOLLOW集合有： FOLLOW(E)={),#}; FOLLOW(E')=FOLLOW(E)={),#}; FOLLOW(T)=FIRST(E')∪FOLLOW(E)={+,),#};//不包含ε 专业技术分享 WORD格式可编辑 FOLLOW(T')=FOLLOW(T)=FIRST(E')∪FOLLOW(E)={+,),#}; FOLLOW(F)=FIRST(T')∪FOLLOW(T)={(,a,b,^,+,),#};//不包含ε FOLLOW(F')=FOLLOW(F)=FIRST(T')∪FOLLOW(T)={(,a,b,^,+,),#}; FOLLOW(P)=FIRST(F')∪FOLLOW(F)={*,(,a,b,^,+,),#};//不包含ε (2)证明这个方法是LL(1)的。 各产生式的SELECT集合有： SELECT(E->TE')=FIRST(T)={(,a,b,^}; SELECT(E'->+E)={+}; SELECT(E'->ε)=FOLLOW(E/)={),#} SELECT(T->FT')=FIRST(F)={(,a,b,^}; SELECT(T'->T)=FIRST(T)={(,a,b,^}; SELECT(T'->ε)=FOLLOW(T/)={+,),#}; SELECT(F->PF')=FIRST(P)={(,a,b,^}; SELECT(F'->*F')={*}; SELECT(F'->ε)=FOLLOW(F')={(,a,b,^,+,),#}; SELECT(P->(E))={(} SELECT(P->a)={a} SELECT(P->b)={b} SELECT(P->^)={^} 可见，相同左部产生式的SELECT集的交集均为空，所以文法G[E]是LL(1)文法。 (3)构造它的预测分析表。 文法G[E]的预测分析表如下： 《编译原理》模拟试题三 一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分） 1．对于数据空间的存贮分配，FORTRAN采用动态贮存分配策略。(×) 2．甲机上的某编译程序在乙机上能直接使用的必要条件是甲机和乙机的操作系统功能完全 相同。(× ) 3．递归下降分析法是自顶向上分析方法。(√ ) 4．产生式是用于定义词法成分 的一种书写规则。 (×) 5．LR 法是自顶向下语法分析方法。 (√ ) 6．在 SLR （ 1 ）分析法的名称中，S的含义是简单的。(√) 7．综合属性是用于 “ 自上而下 ” 传递信息。(× ) 专业技术分享 WORD格式可编辑 8．符号表中的信息栏中登记了每个名字的 属性和特征等有关信息 ，如类型、种属、所占 单元大小、地址等等。 (×) 专业技术分享 WORD格式可编辑 9．程序语言的语言处理程序是一种应用软件。 (×) 10．解释程序适用于 COBOL 和 FORTRAN 语言。 (×) 二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每个4分，共 40分) 1． 文法 G 产生的_____的全体是该文法描述的语言。 A．( ) 句型 B．( ) 终结符集 C．( ) 非终结符集 D．( ) 句子 2． 若文法 G 定义的语言是无限集，则文法必然是 _____。 A．( ) 递归的 B．( ) 前后文无关的 C．( ) 二义性的 D．( ) 无二义性的 3． 四种形式语言文法中，1型文法又称为 _____文法。 A．( ) 短语结构文法 B．( ) 前后文无关文法 C．( ) 前后文有关文法 D．( ) 正规文法 4． 一个文法所描述的语言是_____。 A．( ) 唯一的 B．( ) 不唯一的 C．( ) 可能唯一，好可能不唯一 D．( ) 都不对 5． _____和代码优化部分不是每个编译程序都必需的。 A．( ) 语法分析 B．( ) 中间代码生成 C．( ) 词法分析 D．( ) 目标代码生成 6．_____是两类程序语言处理程序。 A．( ) 高级语言程序和低级语言程序 B．( ) 解释程序和编译程序 C．( ) 编译程序和操作系统 D．( ) 系统程序和应用程序 7． 数组的内情向量中肯定不含有数组的_____的信息。 A. ( ) 维数 B．( ) 类型 C．( ) 维上下界 D．( ) 各维的界差 8. 一个上下文无关文法 G 包括四个组成部分，它们是：一组非终结符号，一组终结符号， 一个开始符号，以及一组 _____。 专业技术分享 WORD格式可编辑 A．( ) 句子 B．( ) 句型 C．( ) 单词 D．( ) 产生式 9． 文法分为四种类型，即0型、1型、2型、3型。其中2型文法是_____。 A. ( ) 短语文法 B．( ) 正则文法 C．( ) 上下文有关文法 D．( ) 上下文无关文法 10．文法 G 所描述的语言是_____的集合。 A. ( ) 文法 G 的字母表 V 中所有符号组成的符号串 B．( ) 文法 G 的字母表 V 的闭包 V* 中的所有符号串 C．( ) 由文法的开始符号推出的所有终极符串 D. ( ) 由文法的开始符号推出的所有符号串 三、填空题(每空1分，共10分) 1．一个句型中的最左简单短语称为该句型的___句柄__。 2．对于文法的每个产生式都配备了一组属性的计算规则，称为 __语义规则___ 。 3．一个典型的编译程序中，不仅包括__词法分析___、__语法分析___、__中间代码生成___、 代码优化、目标代码生成等五个部分，还应包括表格处理和出错处理。 4． 从功能上说，程序语言的语句大体可分为__执行性___语句和__说明性___语句两大类。 5． 扫描器的任务是从__源程序___中识别出一个个___单词符号__。 6． 产生式是用于定义__语法范畴___的一种书写规则。 四、简答题（20分） 专业技术分享 WORD格式可编辑 1. 写一个文法，使其语言是奇数集，且每个奇数不以0开头。 解：文法G(N)： N→AB|B A→AC|D B→1|3|5|7|9 D→B|2|4|6|8 C→0|D 2. 设文法G(S)： S→(L)|a S|a L→L，S|S (1) 消除左递归和回溯； (2) 计算每个非终结符的FIRST和FOLLOW。 解：(1) S→(L)|aS' S'→S|ε L→SL' L'→SL'|ε (2) FIRST)S)＝{(，a} FOLLOW(S)＝{#，，，)} FIRST(S')＝{，a,ε} FOLLOW(S')＝{#，，，)} FIRST(L)＝{(，a} FOLLOW(L)＝{ )} FIRST(L')＝{，，ε} FOLLOW(L'〕＝{ )} 3. 已知文法G(E) E→T|E＋T T→F|T *F F→(E)|i (1)给出句型(T *F＋i)的最右推导； (2)给出句型(T *F＋i)的短语、素短语。 解：(1) 最右推导： E->T->F->(E)->(E＋T)->(E＋F)->(E＋i) ->(T＋i)->(T*F＋i) (2) 短语：(T*F＋i)，T*F＋i，T*F，i 素短语：T*F,i 专业技术分享 WORD格式可编辑 4. While a＞0 ∨ b＜0 do Begin X：＝X＋1； if a＞0 then a：＝a－1 else b：＝b＋1 专业技术分享 WORD格式可编辑 End； 翻译成四元式序列。 解： (1) (j＞，a，0，5) (2) (j，－，－，3) (3) (j＜，b，0，5) (4) (j，－，－，15) (5) (＋，×，1，T1) (6) (：＝，T1，－，×) (7) (j≥，a，0，9) (8) (j，－，－，12) (9) (－，a，1，T2) (10) (：＝，T2，－，a) (11) (j，－，－，1) (12) (＋，b，1， T3) (13) (：＝，T3，－，b) (14) (j，－，－，1) (15) 五.计算题（10分） 已知 NFA= （ {x,y,z},{0,1},M,{x},{z} ），其中： M(x,0)={z},M(y,0)={x,y},M(z,0)={x,z},M(x,1)={x}, M(y,1)= φ ,M(z,1)={y}, 构造相应的DFA 并最小化。 解：根据题意有NFA图: 下表由子集法将NFA转换为DFA： 专业技术分享 WORD格式可编辑 下面将该DFA最小化： (1) 首先将它的状态集分成两个子集：P1={A,D,E},P2={B,C,F} (2) 区分P2:由于F(F,1)=F(C,1)=E,F(F,0)=F并且F(C,0)=C,所以F，C等价。由于 F(B,0)=F(C,0)=C, F(B,1)=D,F(C,1)=E,而D，E不等价（见下步），从而B与C，F可以区分。 有P21={C,F},P22={B}。 (3) 区分P1:由于A，E输入0到终态，而D输入0不到终态，所以D与A，E可以区分， 有P11={A,E},P12={D}。 (4) 由于F(A,0)=B,F(E,0)=F,而B，F不等价，所以A，E可以区分。 (5) 综上所述，DFA可以区分为P={{A}，{B}，{D}，{E}，{C，F}}。所以最小化的DFA 如下： 《编译原理》模拟试题四 一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分） 1．一个 LL(l)文法一定是无二义的。 (× ) 2．正规文法产生的语言都可以用上下文无关文法来描述。 (× ) 3．一张转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。 (√) 4．目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。 (× ) 5．逆波兰法表示的表达式亦称前缀式 。 (√ ) 6．如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。 (√ ) 7．LR 法是自顶向下语法分析方法。 (× ) 8．数组元素的地址计算与数组的存储方式有关。(× ) 9．算符优先关系表不一定存在对应的优先函数。 (×) 10．对于数据空间的存贮分配， FORTRAN 采用动态贮存分配策略。 (×) 二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每个4分，共 40分) 1．词法分析器用于识别_____。 专业技术分享 WORD格式可编辑 A．( ) 字符串 B．( )语句 C．( )单词 D．( )标识符 2．文法分为四种类型，即0型、1型、2型、3型。其中0型文法是_____。 A. ( ) 短语文法 B．( ) 正则文法 C．( ) 上下文有关文法 D．( ) 上下文无关文法 3．一个上下文无关文法 G 包括四个组成部分，它们是：一组非终结符号，一组终结符号， 一个开始符号，以及一组 _____。 A．( ) 句子 B．( ) 句型 C．( ) 单词 D．( ) 产生式 4．_____是一种典型的解释型语言。 A．( ) BASIC B．( ) C C．( ) FORTRAN D．( ) PASCAL 5．与编译系统相比，解释系统_____。 A．( ) 比较简单 , 可移植性好 , 执行速度快 B．( ) 比较复杂 , 可移植性好 , 执行速度快 C．( ) 比较简单 , 可移植性差 , 执行速度慢 D．( ) 比较简单 , 可移植性好 , 执行速度慢 6．用高级语言编写的程序经编译后产生的程序叫_____。 A．( ) 源程序 B．( ) 目标程序 C．( ) 连接程序 D．( ) 解释程序 7．词法分析器用于识别_____。 A. ( ) 字符串 B．( ) 语句 C．( ) 单词 D．( ) 标识符 8．编写一个计算机高级语言的源程序后 , 到正式上机运行之前，一般要经过_____这几步: (1) 编辑 (2) 编译 (3) 连接 (4) 运行 A. ( ) (1)(2)(3)(4) B．( ) (1)(2)(3) C．( ) (1)(3) D．( ) (1)(4) 9．把汇编语言程序翻译成机器可执行的目标程序的工作是由_____完成的。 A．( ) 编译器 B．( ) 汇编器 C．( ) 解释器 D．( ) 预处理器 专业技术分享 WORD格式可编辑 10．文法 G 所描述的语言是_____的集合。 A. ( ) 文法 G 的字母表 V 中所有符号组成的符号串 B．( ) 文法 G 的字母表 V 的闭包 V* 中的所有符号串 C．( ) 由文法的开始符号推出的所有终极符串 D. ( ) 由文法的开始符号推出的所有符号串 三、填空题(每空1分，共10分) 1．语法分析是依据语言的__语法___规则进行的，中间代码产生是依据语言的__语义___规 进行的。 2．语法分析器的输入是__单词符号串___，其输出是__语法单位___。 3．一个名字的属性包括__类型___和__作用域___。 4．产生式是用于定义___语法成分__的一种书写规则。 5．逆波兰式 ab+c+ d*e- 所表达的表达式为__(a+b+c)*d-e___ 。 6．语法分析最常用的两类方法是__自上而下___和__自下而上___分析法。 四、简答题（20分） 1. 写出下列表达式的三地址形式的中间表示。 (1) 5+6 *(a + b); (2)for j:=1 to 10 do a[j + j]:=0。 答： (1)100: t1:=a+b 101: t2:=6*t1 专业技术分享 WORD格式可编辑 102: t3:=5+t2 (2)100: j:=1 101: if j>10 goto NEXT 102: i:=j+j 103: a[i]:=0 2. 设基本块p由如下语句构成： T 0 : =3.14; T 1 :=2*T 0 ; T 2 :=R+r; A:=T l *T 2 ； B:=A; T 3 :=2*T 0 ; T 4 :=R+r; T 5 :=T 3 *T 4 ; T 6 :=R-r ； B:=T 5 *T 6 ； 试给出基本块p的 DAG 。 解：基本块p的DAG图: 3. 写出表达式(a+b)/(a-b-(a+b*c)的三元序列及四元序列。 解：（1）三元式： ①（＋，a，b） ②（－，a，b） ③（/，①，②） 专业技术分享 WORD格式可编辑 ④（*，b，c） ⑤（＋，a，④） ⑥（－，③，⑤） （2）四元式： ①（＋，a，b，T1） ②（－，a，b，T2） ③（/，T1，T2，T3） ④（*，b，c，T4） ⑤（＋，a，T4，T5） ⑥（－，T3，T5，T6） 专业技术分享 WORD格式可编辑 4. 写一个文法使其语言为偶数集，且每个偶数不以0开头。 解：文法G（S）： S→AB|B|A0 A→AD|C B→2|4|6|8 C→1|3|5|7|9|B D→0|C 5. 设文法 G （ S ）： S→S ＋ aF|aF| ＋ aF F→*aF|*a （1）消除左递归和回溯； （2）构造相应的 FIRST 和 Follow 集合。 1） S->aFS'|＋aFS' S'->＋aFS'|ε F->*aF' F'->F|ε （2） FIRST（S）＝｛a，+｝ FOLLOW（S）＝｛＃｝ FIRST（S'）＝｛+，ε ｝ FOLLOW（S'）＝｛＃｝ FIRST（F）＝｛*｝ FOLLoW（F）＝（+，＃｝ FIRST（F'）＝｛*，ε｝ FOLLOW（+，＃｝ 五.计算题（10分） 已知文法为： S->a|^|(T) T->T,S|S 专业技术分享 WORD格式可编辑 构造它的 LR(0)分析表。 解：加入非终结符S'，方法的增广文法为： S'->S S->a S->^ S->(T) T->T,S T->S 下面构造它的LR(0)项目集规范族为： 专业技术分享 WORD格式可编辑 从上表可看出,不存在移进-归约冲突以及归约归约冲突，该文法是LR(0)文法。 从而有下面的LR(0)分析表： 专业技术分享 WORD格式可编辑 《编译原理》模拟试题五 一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分） 1．编译程序是对高级语言程序的解释执行。(× ) 2．一个有限状态自动机中，有且仅有一个唯一的终态。(×) 3．一个算符优先文法可能不存在算符优先函数与之对应。 (√ ) 4．语法分析时必须先消除文法中的左递归 。 (×) 5．LR分析法在自左至右扫描输入串时就能发现错误，但不能准确地指出出错地点。 (√) 6．逆波兰表示法表示表达式时无须使用括号。 (√ ) 7．静态数组的存储空间可以在编译时确定。 (×) 8．进行代码优化时应着重考虑循环的代码优化，这对提高目标代码的效率将起更大作用。 (×) 9．两个正规集相等的必要条件是他们对应的正规式等价。 (× ) 10．一个语义子程序描述了一个文法所对应的翻译工作。 (×) 二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每个4分，共 40分) 1．词法分析器的输出结果是_____。 A．( ) 单词的种别编码 B．( ) 单词在符号表中的位置 C．( ) 单词的种别编码和自身值 D．( ) 单词自身值 2． 正规式 M 1 和 M 2 等价是指_____。 A．( ) M1和M2的状态数相等 B．( ) M1和M2的有向边条数相等 C．( ) M1和M2所识别的语言集相等 D．( ) M1和M2状态数和有向边条数相等 3． 文法G：S→xSx|y所识别的语言是_____。 A．( ) xyx B．( ) (xyx)* C．( ) xnyxn(n≥0) D．( ) x*yx* 专业技术分享 WORD格式可编辑 4．如果文法G是无二义的，则它的任何句子α_____。 A．( )最左推导和最右推导对应的语法树必定相同 B．( ) 最左推导和最右推导对应的语法树可能不同 C．( ) 最左推导和最右推导必定相同 D．( )可能存在两个不同的最左推导，但它们对应的语法树相同 5．构造编译程序应掌握______。 A．( )源程序 B．( ) 目标语言 C．( ) 编译方法 D．( ) 以上三项都是 6．四元式之间的联系是通过_____实现的。 A．( ) 指示器 B．( ) 临时变量 C．( ) 符号表 D．( ) 程序变量 7．表达式(┐A∨B)∧(C∨D)的逆波兰表示为_____。 A. ( ) ┐AB∨∧CD∨ B．( ) A┐B∨CD∨∧ C．( ) AB∨┐CD∨∧ D．( ) A┐B∨∧CD∨ 8. 优化可生成_____的目标代码。 A．( ) 运行时间较短 B．( ) 占用存储空间较小 C．( ) 运行时间短但占用内存空间大 D．( ) 运行时间短且占用存储空间小 9．下列______优化方法不是针对循环优化进行的。 A. ( ) 强度削弱 B．( ) 删除归纳变量 C．( ) 删除多余运算 D．( ) 代码外提 专业技术分享 WORD格式可编辑 10．编译程序使用_____区别标识符的作用域。 A. ( ) 说明标识符的过程或函数名 B．( ) 说明标识符的过程或函数的静态层次 C．( ) 说明标识符的过程或函数的动态层次 D. ( ) 标识符的行号 三、填空题(每空1分，共10分) 1．计算机执行用高级语言编写的程序主要有两种途径：___解释__和__编译___。 2．扫描器是__词法分析器___，它接受输入的__源程序___，对源程序进行___词法分析__ 并识别出一个个单词符号，其输出结果是单词符号，供语法分析器使用。 3．自上而下分析法采用___移进__、归约、错误处理、___接受__等四种操作。 4．一个LR分析器包括两部分：一个总控程序和___一张分析表__。 5．后缀式abc-/所代表的表达式是___a/(b-c)__。 6．局部优化是在__基本块___范围内进行的一种优化。 四、简答题（20分） 1. 简要说明语义分析的基本功能。 答：语义分析的基本功能包括: 确定类型、类型检查、语义处理和某些静态语义检 查。 2. 考虑文法 G[S]: S → (T) | a+S | a T → T,S | S 消除文法的左递归及提取公共左因子。 解：消除文法G[S]的左递归： S→(T) | a+S | a T→ST′ T′→,ST′| ε 专业技术分享 WORD格式可编辑 提取公共左因子： S→(T) | aS′ S′→+S | ε T→ST′ T′→,ST′| ε 3. 试为表达式 w+(a+b)*(c+d/(e-10)+8) 写出相应的逆波兰表示。 解： w a b + c d e 10 - / + 8 + * + 4. 按照三种基本控制结构文法将下面的语句翻译成四元式序列： while (A else while (A ≤ D) A=A+2; }。 解：该语句的四元式序列如下(其中E1、E2和E3分别对应A＜C∧B＜D、A≥1和A≤D，并 且关系运算符优先级高)： 100 (j<,A,C,102) 101 (j,_,_,113) 102 (j<,B,D,104) 专业技术分享 WORD格式可编辑 103 (j,_,_,113) 104 (j=,A,1,106) 105 (j,_,_,108) 106 (+, C, 1, C) 107 (j,_,_,112) 108 (j≤,A,D,110) 109 (j,_,_,112) 110 (+, A, 2, A) 111 (j,_,_,108) 112 (j,_,_,100) 113 5. 已知文法 G[S] 为 S → aSb|Sb|b ，试证明文法 G[S] 为二义文法。 证明： 由文法G[S]：S→aSb|Sb|b，对句子aabbbb对应的两棵语法树为： 因此，文法G[S]为二义文法。 五.计算题（10分） 已知文法 A->aAd|aAb| ε 判断该文法是否是 SLR(1) 文法，若是构造相应分析表，并对输入串 ab# 给出分析过程。 解：增加一个非终结符S/后，产生原文法的增广文法有： S'->A A->aAd|aAb|ε 下面构造它的LR(0)项目集规范族为： 从上表可看出,状态I0和I2存在移进-归约冲突，该文法不是LR(0)文法。对于I0来说有： FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ，所以在I0状态下面临输入符号为a时移进，为b,d,#时 归约，为其他时报错。对于I2来说有也有与I0完全相同的结论。这就是说，以上的移进- 归约冲突是可以解决的，因此该文法是SLR(1)文法。 其SLR(1)分析表为： 专业技术分享 WORD格式可编辑 对输入串ab#给出分析过程为： 《编译原理》模拟试题六 一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分） 专业技术分享 WORD格式可编辑 1．设r和s分别是正规式，则有L(r|s)=L(r)L(s)。(×) 2．确定的自动机以及不确定的自动机都能正确地识别正规集。(√) 3．词法分析作为单独的一遍来处理较好。 (× ) 4．构造LR分析器的任务就是产生LR分析表。 (√) 5．规范归约和规范推导是互逆的两个过程。 (× ) 6．同心集的合并有可能产生新的“移进”/“归约”冲突。 (× ) 7．LR分析技术无法适用二义文法。 (× ) 8．树形表示和四元式不便于优化，而三元式和间接三元式则便于优化。 (×) 9．程序中的表达式语句在语义翻译时不需要回填技术。 (√) 10．对中间代码的优化依赖于具体的计算机。 (× ) 二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每个4分，共 40分) 1．编译程序绝大多数时间花在_____ 上。 A．( ) 出错处理 B．( ) 词法分析 C．( ) 目标代码生成 D．( ) 表格管理 2． 编译程序是对_____。 A．( ) 汇编程序的翻译 B．( ) 高级语言程序的解释执行 C．( ) 机器语言的执行 D．( ) 高级语言的翻译 3． 采用自上而下分析，必须_____。 A．( ) 消除左递归 B．( ) 消除右递归 C．( ) 消除回溯 D．( ) 提取公共左因子 4．在规范归约中，用_____来刻画可归约串。 A．( )直接短语 B．( )句柄 专业技术分享 WORD格式可编辑 C．( )最左素短语 D．( )素短语 5． 若a为终结符，则A->α · aβ为_____项目。 A．( )归约 B．( ) 移进 C．( ) 接受 D．( ) 待约 6．间接三元式表示法的优点为_____。 A．( ) 采用间接码表，便于优化处理 B．( ) 节省存储空间，不便于表的修改 C．( ) 便于优化处理，节省存储空间 D．( ) 节省存储空间，不便于优化处理 7．基本块内的优化为_____。 A. ( ) 代码外提，删除归纳变量 B．( ) 删除多余运算，删除无用赋值 C．( ) 强度削弱，代码外提 D．( ) 循环展开，循环合并 8. 在目标代码生成阶段，符号表用_____。 A．( ) 目标代码生成 B．( ) 语义检查 C．( ) 语法检查 D．( ) 地址分配 9．若项目集Ik含有A->α · ，则在状态k时，仅当面临的输入符号a∈FOLLOW(A)时，才 采取“A->α · ”动作的一定是_____。 A. ( ) LALR文法 B．( ) LR(0)文法 C．( ) LR(1)文法 D．( ) SLR(1)文法 10．堆式动态分配申请和释放存储空间遵守_____原则。 专业技术分享 WORD格式可编辑 A. ( ) 先请先放 B．( ) 先请后放 C．( ) 后请先放 D. ( ) 任意 三、填空题(每空1分，共10分) 1．词法分析基于__正则___文法进行，即识别的单词是该类文法的句子。 2．语法分析基于__上下文无关___文法进行，即识别的是该类文法的句子。语法分析的有效 工具是__语法树___。 3．分析句型时，应用算符优先分析技术时，每步被直接归约的是__最左素短语___，而应用 LR分析技术时，每步被直接归约的是___句柄__。 4．语义分析阶段所生成的与源程序等价的中间表示形式可以有__逆波兰___、___四无式表 示__与___三元式表示__等。 5．按Chomsky分类法，文法按照___规则定义的形式__进行分类。 6．一个文法能用有穷多个规则描述无穷的符号串集合（语言）是因为文法中存在有___递归 __定义的规则。 四、简答题（20分） 1. 文法 G[S] 为： S->Ac|aB A->ab B->bc 写出 L(G[S]) 的全部元素。 解：S=>Ac=>abc 或S=>aB=>abc 所以L(G[S])={abc} 2. 构造正规式 1(0|1)*101 相应的DFA。 解：先构造NFA： 专业技术分享 WORD格式可编辑 确定化： 重新命名，令AB为B、AC为C、ABY为D得： 专业技术分享 WORD格式可编辑 所以，可得DFA为： 3. 文法 S->a|^|(T) T->T,S|S 对 (a,(a,a) 和 (((a,a),^,(a)),a) 的最左推导。 解： 对(a,(a,a)的最左推导为： S=>(T) =>(T,S) =>(S,S) =>(a,S) =>(a,(T)) =>(a,(T,S)) =>(a,(S,S)) =>(a,(a,S)) =>(a,(a,a)) 对(((a,a),^,(a)),a) 的最左推导为： S=>(T) =>(T,S) =>(S,S) =>((T),S) =>((T,S),S) =>((T,S,S),S) =>((S,S,S),S) =>(((T),S,S),S) =>(((T,S),S,S),S) =>(((S,S),S,S),S) =>(((a,S),S,S),S) =>(((a,a),S,S),S) =>(((a,a),^,S),S) =>(((a,a),^,(T)),S) =>(((a,a),^,(S)),S) =>(((a,a),^,(a)),S) =>(((a,a),^,(a)),a) 4. 文法： S->MH|a H->LSo| ε K->dML| ε L->eHf M->K|bLM 判断 G 是否为 LL(1) 文法，如果是，构造 LL(1) 分析表。 专业技术分享 WORD格式可编辑 解：各符号的FIRST集和FOLLOW集为： 预测分析表为： 专业技术分享 WORD格式可编辑 由于预测分析表中无多重入口，所以可判定文法是LL(1)的。 五.计算题（10分） 已知文法 G[S] 为： S->a|^|(T) T-> T,S|S (1) 计算 G[S] 的 FIRSTVT 和 LASTVT 。 (2) 构造 G[S] 的算符优先关系表并说明 G[S] 是否未算符优先文法。 (3) 计算 G[S] 的优先函数。 (4) 给出输入串 (a,a)# 的算符优先分析过程。 解：（1）各符号的FIRSTVT和LASTVT： （2）算符优先关系表： （3）对应的算符优先函数为： 专业技术分享 WORD格式可编辑 （4）句子(a,a)#分析过程如下： 专业技术分享 WORD格式可编辑 《编译原理》期末试题（一） 一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分） 1．编译程序是对高级语言程序的解释执行。(× ) 2．一个有限状态自动机中，有且仅有一个唯一的终态。(×) 3．一个算符优先文法可能不存在算符优先函数与之对应。 (√ ) 4．语法分析时必须先消除文法中的左递归 。 (×) 5．LR分析法在自左至右扫描输入串时就能发现错误，但不能准确地指出出错地点。 (√) 6．逆波兰表示法表示表达式时无须使用括号。 (√ ) 7．静态数组的存储空间可以在编译时确定。 (×) 8．进行代码优化时应着重考虑循环的代码优化，这对提高目标代码的效率将起更大作用。 (×) 9．两个正规集相等的必要条件是他们对应的正规式等价。 (× ) 10．一个语义子程序描述了一个文法所对应的翻译工作。 (×) 二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每个4分，共40分) 1．词法分析器的输出结果是_____。 A．( ) 单词的种别编码 B．( ) 单词在符号表中的位置 C．( ) 单词的种别编码和自身值 D．( ) 单词自身值 2． 正规式 M 1 和 M 2 等价是指_____。 A．( ) M1和M2的状态数相等 B．( ) M1和M2的有向边条数相等 C．( ) M1和M2所识别的语言集相等 D．( ) M1和M2状态数和有向边条数相等 3． 文法G：S→xSx|y所识别的语言是_____。 A．( ) xyx B．( ) (xyx)* C．( ) xnyxn(n≥0) D．( ) x*yx* 4．如果文法G是无二义的，则它的任何句子α_____。 A．( )最左推导和最右推导对应的语法树必定相同 B．( ) 最左推导和最右推导对应的语法树可能不同 C．( ) 最左推导和最右推导必定相同 D．( )可能存在两个不同的最左推导，但它们对应的语法树相同 5．构造编译程序应掌握______。 A．( )源程序 B．( ) 目标语言 C．( ) 编译方法 D．( ) 以上三项都是 6．四元式之间的联系是通过_____实现的。 A．( ) 指示器 B．( ) 临时变量 C．( ) 符号表 D．( ) 程序变量 专业技术分享 WORD格式可编辑 7．表达式(┐A∨B)∧(C∨D)的逆波兰表示为_____。 A. ( ) ┐AB∨∧CD∨ B．( ) A┐B∨CD∨∧ C．( ) AB∨┐CD∨∧ D．( ) A┐B∨∧CD∨ 8. 优化可生成_____的目标代码。 A．( ) 运行时间较短 B．( ) 占用存储空间较小 C．( ) 运行时间短但占用内存空间大 D．( ) 运行时间短且占用存储空间小 9．下列______优化方法不是针对循环优化进行的。 A. ( ) 强度削弱 B．( ) 删除归纳变量 C．( ) 删除多余运算 D．( ) 代码外提 10．编译程序使用_____区别标识符的作用域。 A. ( ) 说明标识符的过程或函数名 B．( ) 说明标识符的过程或函数的静态层次 C．( ) 说明标识符的过程或函数的动态层次 D. ( ) 标识符的行号 三、填空题(每空1分，共10分) 1．计算机执行用高级语言编写的程序主要有两种途径：___解释__和__编译___。 2．扫描器是__词法分析器___，它接受输入的__源程序___，对源程序进行___词法分析__并识别出一个个单词符号，其输出结果是单词符号，供语法分析器使用。 3．自上而下分析法采用___移进__、归约、错误处理、___接受__等四种操作。 4．一个LR分析器包括两部分：一个总控程序和___一张分析表__。 5．后缀式abc-/所代表的表达式是___a/(b-c)__。 6．局部优化是在__基本块___范围内进行的一种优化。 四、简答题（20分） 1. 简要说明语义分析的基本功能。 答：语义分析的基本功能包括: 确定类型、类型检查、语义处理和某些静态语义检 查。 2. 考虑文法 G[S]: S → (T) | a+S | a T → T,S | S 消除文法的左递归及提取公共左因子。 解：消除文法G[S]的左递归： S→(T) | a+S | a T→ST′ T′→,ST′| ε 提取公共左因子： 专业技术分享 WORD格式可编辑 S→(T) | aS′ S′→+S | ε T→ST′ T′→,ST′| ε 3. 试为表达式 w+(a+b)*(c+d/(e-10)+8) 写出相应的逆波兰表示。 解： w a b + c d e 10 - / + 8 + * + 4. 按照三种基本控制结构文法将下面的语句翻译成四元式序列： while (A }。 解：该语句的四元式序列如下(其中E1、E2和E3分别对应A＜C∧B＜D、A≥1和A≤D，并且关系运算符优先级高)： 100 (j<,A,C,102) 101 (j,_,_,113) 102 (j<,B,D,104) 103 (j,_,_,113) 104 (j=,A,1,106) 105 (j,_,_,108) 106 (+, C, 1, C) 107 (j,_,_,112) 108 (j≤,A,D,110) 109 (j,_,_,112) 110 (+, A, 2, A) 111 (j,_,_,108) 112 (j,_,_,100) 113 5. 已知文法 G[S] 为 S → aSb|Sb|b ，试证明文法 G[S] 为二义文法。 证明： 由文法G[S]：S→aSb|Sb|b，对句子aabbbb对应的两棵语法树为： 专业技术分享 WORD格式可编辑 因此，文法G[S]为二义文法。 五.计算题（10分） 已知文法 A->aAd|aAb| ε 判断该文法是否是 SLR(1) 文法，若是构造相应分析表，并对输入串 ab# 给出分析过程。 解：增加一个非终结符S/后，产生原文法的增广文法有： S'->A A->aAd|aAb|ε 下 面 构 造 它 的 LR(0) 项 目 集 规 范 族 专业技术分享 ：为 WORD格式可编辑 从上表可看出,状态I0和I2存在移进-归约冲突，该文法不是LR(0)文法。对于I0来说有：FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ，所以在I0状态下面临输入符号为a时移进，为b,d,#时归约，为其他时报错。对于I2来说有也有与I0完全相同的结论。这就是说，以上的移进-归约冲突是可以解决的，因此该文法是SLR(1)文法。 其SLR(1)分析表为： 对输入串ab#给出分析过程为： 专业技术分享 WORD格式可编辑 《编译原理》期末试题（二） 一、是非题： 1.一个上下文无关文法的开始符，可以是终结符或非终结符。 ( ) 2.一个句型的直接短语是唯一的。 （ ） 3.已经证明文法的二义性是可判定的。 （ ） 4.每个基本块可用一个DAG表示。 （ ） 5.每个过程的活动记录的体积在编译时可静态确定。 （ ） 6.2型文法一定是3型文法。 （ ） 7.一个句型一定句子。 ( ) 8.算符优先分析法每次都是对句柄进行归约。 X ( ) 9.采用三元式实现三地址代码时，不利于对中间代码进行优化。 （ ） 10.编译过程中，语法分析器的任务是分析单词是怎样构成的。 ( ) 11.一个优先表一定存在相应的优先函数。 X ( ) 12.目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。 ( ) 13.递归下降分析法是一种自下而上分析法。 ( ) 14.并不是每个文法都能改写成LL(1)文法。 ( ) 15.每个基本块只有一个入口和一个出口。 ( ) 16.一个LL(1)文法一定是无二义的。 ( ) 17.逆波兰法表示的表达试亦称前缀式。 ( ) 18.目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。 ( ) 19.正规文法产生的语言都可以用上下文无关文法来描述。 ( ) 20.一个优先表一定存在相应的优先函数。 ( ) 21.3型文法一定是2型文法。 ( ) 22.如果一个文法存在某个句子对应两棵不同的语法树，则文法是二义性的。 ( ) 答案：1.× 2.× 3.× 4.√ 5.√ 6.× 7.× 8.× 9.√ 10.× 11.× 12.√ 13.× 14.√ 15.√ 16.√ 17.× 18.√ 19.√ 20.× 21.√ 22.√ 二、填空题： 2.编译过程可分为 （ 词法分析） ，（语法分析），（语义分析与中间代码生成 ），（优化）和（目标代码生成 ）五个阶段。 3.如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是（ 二义性的 ）。 4.从功能上说，程序语言的语句大体可分为（ 执行性 ）语句和（说明性 ）语句两大类。 5.语法分析器的输入是（ 单词符号 ），其输出是（ 语法单位 ）。 6.扫描器的任务是从（ 源程序中 ）中识别出一个个（ 单词符号 ）。 7.符号表中的信息栏中登记了每个名字的有关的性质，如(类型、种属、所占单元大小、地址）等等。 8.一个过程相应的DISPLAY表的内容为(现行活动记录地址和所有外层最新活动记录的地址) 10.常用的两种动态存贮分配办法是（栈式）动态分配和（堆式）动态分配。 11.一个名字的属性包括( 类型)和(作用域 )。 12.常用的参数传递方式有(传地址），（传值），（传名） 13.根据优化所涉及的程序范围，可将优化分成为(局部优化），（循环优化），（全局优化）三个级别。 14.语法分析的方法大致可分为两类，一类是（ 自上而下 ）分析法，另一类是（ 自下而上 ） 分析法。 15.预测分析程序是使用一张（ 分析表 ）和一个（ 符号栈 ）进行联合控制的。 17.一张转换图只包含有限个状态,其中有一个被认为是（初）态;而且实际上至少要有一个（终 ）态。 19.语法分析是依据语言的（语法 ）规则进行。中间代码产生是依据语言的（语义）规则进行的。 21.一个文法G，若它的预测分析表M不含多重定义，则该文法是（LL(1) 文法）文法。 22.对于数据空间的存贮分配， FORTRAN采用( 静态策略， PASCAL采用( 动态)策略。 专业技术分享 WORD格式可编辑 24.最右推导亦称为（规范推导），由此得到的句型称为（规范）句型。 26.对于文法G，仅含终结符号的句型称为 ( 句子 )。 27.所谓自上而下分析法是指(从开始符号出发，向下推导，推出句子） 29.局限于基本块范围的优化称（ 局部优化 ）。 31.2型文法又称为（上下文无关）文法；3型文法又称为（正则 ）文法。 32.每条指令的执行代价定义为(指令访问主存次数加1） 33.算符优先分析法每次都是对(最左素短语）进行归约。 三、名词解释题： 1.局部优化-------局限于基本块范围的优化称。 2.二义性文法------如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义性文法。 3.DISPLAY表----过程的嵌套层次显示表，记录该过程的各外层过程的最新活动记录的起始地址。 5.最左推导------任何一步α=>β都是对α中的最右非终结符替换。 6.语法------一组规则，用它可形成和产生一组合式的程序。 7.文法------描述语言的语法结构的形式规则。 8.基本块------指程序中一顺序执行的语句序列，其中只有一个入口和一个出口，入口就是其中的第一个 语句，出口就是其中的最后一个语句。 9.语法制导翻译------在语法分析过程中，根据每个产生式所对应的语义子程序进行翻译的办法叫做语法制导翻译。 10.短语------令G是一个文法，S划文法的开始符号，假定αβδ是文法G的一个句型，如果有SαAδ且Aβ，则称β是句型αβδ相对非终结符A的短语。 11.待用信息------如果在一个基本块中，四元式i对A定值，四元式j要引用A值，而从i到j之间没 有A的其它定值，则称j是四元式i的变量A的待用信息。 12.规范句型------由规范推导所得到的句型。 13.扫描器------执行词法分析的程序。 14.超前搜索------在词法分析过程中，有时为了确定词性，需超前扫描若干个字符。 15.句柄------一个句型的最左直接短语。 16.语法制导翻译------在语法分析过程中，根据每个产生式所对应的语义程序进行翻译的方法 叫做语 法制导翻译。 17.规范句型------由规范推导所得到的句型。 18.素短语------素短语是指这样一个短语，至少含有一个终结符，并且，除它自身外不再含任何更小的 素短语。 19.语法------是组规则，用它可形成和产生一个合式的程序。 20.待用信息------如果在一个基本块中，四元式i对A定值，四元式j要引用A值，而从i到j之间没 有A的其它定值，则称j是四元式i的变量A的待用信息。 21.语义------定义程序的意义的一组规则。 四、简答题： 1.写一个文法G, 使其语言为 不以0开头的偶数集。 2.已知文法G(S)及相应翻译方案 S→aAb {print “1”} S→a {print “2”} A→AS {print “3”} A→c {print “4”} 输入acab, 输出是什么？ 3. 已知文法G(S) S→bAa A→(B | a B→Aa) 写出句子b(aa)b的规范归约过程。 4. 考虑下面的程序： 专业技术分享 WORD格式可编辑 … procedure p(x, y, z)； begin y:=x+y; z:=z*z; end begin A:=2; B:=A*2; P(A, A, B); Print A, B end. 试问，若参数传递的方式分别采用传地址和传值时，程序执行后输出 A, B的值是什么? 5．文法G(S) S→dAB A→aA| a B→Bb| ε 描述的语言是什么？ 6. 证明文法G(S) S→SaS| ε 是二义性的。 7. 已知文法G(S) S→BA A→BS| d B→aA| bS | c 的预测分析表如下 a b c d # S S→BA S→BA S→BA A A→BS A→BS A→BS A→d B B→aA B→bS B→c 给出句子 adccd 的分析过程。 lmlnn 8. 写一个文法G, 使其语言为 L(G)={abcab| l>=0, m>=1, n>=2} 9. 已知文法G(S): S→a| (T) T→T,S|S 的优先关系表如下： 关系 a ( ) , a - - .> .> ( <. <. =. <. ) - - .> .> , <. <. .> .> 请计算出该优先关系表所对应的优先函数表。 10. 何谓优化？按所涉及的程序范围可分为哪几级优化？ 11. 目标代码有哪几种形式？生成目标代码时通常应考虑哪几个问题？ 12. 一字母表Σ={a, b}，试写出Σ上所有以a为首的字组成的正规集相对应的正规式。 13. 基本的优化方法有哪几种？ nn 14. 写一个文法G, 使其语言为 L(G)={abc| n≥0} 专业技术分享 WORD格式可编辑 15. 考虑下面的程序： … procedure p(x, y, z); begin y:=y+z; z:=y*z+x end; begin a:=2; b:=3; p(a+b, b, a); print a end. 试问，若参数传递的方式分别采用传地址和传值时，程序执行后输出 a的值是什么? 16.写出表达式a＋b*(c-d)/e的逆波兰式和三元序列。 17.证明文法G(A) A→AA | (A)| ε 是二义性的。 ** 18.令Σ={a,b}，则正规式ab|ba表示的正规集是什么？ 19.何谓DISPLAY表？其作用是什么？ 20.考虑下面的程序： … procedure p(x, y, z)； begin y:=y+2; z:=z+x; end begin a:=5; b:=2; p(a+b, a-b, a); print a end. 试问，若参数传递的方式分别采用传地址和传值时，程序执行后输出 a的值是什么? nnm 21.写一个文法G, 使其语言为 L(G)={abc| n>0为奇数， m>0为偶数} 22.写出表达式a:=(b+c)*e+(b+c)/f的逆波兰式和三元序列。 23.一个文法G别是LL(1)文法的充要条件是什么？ 24.已知文法G[S] S→S*aF | aF | *aF F→+aF | +a 消除文法左递归和提公共左因子。 25.符号表的作用是什么？符号表查找和整理技术有哪几种？ 答案：1.所求文法是G[S]: S→AB |B A0 A→AD |C B→2 |4 |6 |8 C→1 |3 |5 |7 |9 |B D→0 |C 2.输出是4231 专业技术分享 WORD格式可编辑 3.句子b(aa)b的规范归约过程： 步骤 符号栈 0 1 2 3 4 5 6 7 8 9 10 # #b #b( #b(a #b(A #b(Ma #b(Ma) #b(B #bA #bAb #S 输入串 b(aa)b# 预备 (aa)b# 移进 aa)b# a)b# )b# b# b# b# # # 移进 归约 移进 移进 归约 归约 移进 接受 a)b# 移进 动作 4.传地址 A=6, B=16 传值 A=2, B=4 nm 5.L(G)={dab |n>0, m≥0} 6.证明： 因为文法G[S]存在句子aa有两个不同的最左推导，所以文法G[S]是是二义性的。 S=>SaS=>SaSaS=>aSaS=>aaS=>aa S=>SaS=>aS=>aSaS=>aaS=>aa 7.句子 adccd 的分析过程： 步骤 符号栈 输入串 产生式 0 1 2 3 4 5 6 7 8 9 10 11 12 13 8.所求文法是G[S]: S→AB A→aAc | D D→bD | b B→aBb | aabb 9. 专业技术分享 #S #AB #AAa #AA #Ad #A #SB #Sc #S #AB #Ac #A #d # adccd# adccd# adccd# dccd# dccd# ccd# ccd# ccd# cd# cd# d# d# d# # S→BA B→aA A→d A→BS B→c B→c A→d WORD格式可编辑 函数 f g a 4 5 ( 2 5 ) 4 2 , 4 3 10.优化：对程序进行各种等价变换，使得从变换后的程序出发，能产生更有效的目标代码。 三种级别：局部优化、循环优化、全局优化 11.目标代码通常采用三种形式：机器语言，汇编语言，待装配机器语言模块。 应着重考虑的问题： (1)如何使生成的目标代码较短； (2)如何充分利用寄存器，以减少访问内存次数； (3)如何充分利用指令系统的特点。 12.正规式 a ( a | b )*。 13.删除多余运算，代码外提，强度削弱，变换循环控制条件，合并已知量，复写传播和删除无用赋值。 14.文法G[S]: S→aB | a B→bc |bBc 15.传值 a=2 传地址 a=15 16.逆波兰式: abcd-*e/+ 三元序列: op arg1 arg2 (1) - c d (2) * b (1) (3) / (2) e (4) + a (3) 17.证明： 因为文法G[S]存在句子 () 有两个不同的最左推导，所以文法G[S]是是二义性的。 A=>AA=>(A)A=>()A=>() A=>AA=>A=>(A)=>() ** 18.(ab|ba)={a,b,ab,ba,aab,bba……} 19.Display表: 嵌套层次显示表 由于过程嵌套允许内层过程引用外层过程定义的数据，因此，当一个过程运行时必须跟踪它的所有外层过程的最新活动记录起始地址， display表就是用于登记每个外层过程的最新活动记录起始地址。 20.传地址 a=12 传值 a=5 21.所求文法是G[S]: S→AC A→aaAbb | ab C→ccC | cc 22.逆波兰式 abc+e*bc+f/+:= 三元序列 op arg1 arg2 (1) + b c (2) * (1) e (3) + b c (4) / (3) f (5) + (2) (4) (6) := a (5) 23.一个文法G别是LL(1)文法的充要条件是: (1) FIRST(α) ∩FIRST(β)=Ф 专业技术分享 WORD格式可编辑 (2) 如果 β=>ε, FIRST(α) ∩FOLLOW(A)= Ф 24.消除左递归 S→aFS’ | *aFS’ S’→*aFS’ | ε F→+aF | +a 提公共左因子,文法 G’(S) S→aFS’ | *aFS’ S’→*aFS’ | ε F→+aF’ F’→F |ε 25.作用：登记源程序中出现的各种名字及其信息，以及了解各阶段的进展状况。 主要技术：线性表，对折查找，杂奏技术。 五、计算题： 1.设文法G(S): S→^ | a | (T) T→T,S | S ⑴ 消除左递归； ⑵ 构造相应的FIRST和FOLLOW集合； ⑶ 构造预测分析表 2.语句 if E then S (1) 改写文法，使之适合语法制导翻译； (2) 写出改写后产生式的语义动作。 3.设文法G（S）： S→(T) | a T→T+S | S (1）计算FIRSTVT 和LASTVT； （2）构造优先关系表。 4.设某语言的for语句的形式为 (1)(2) for i:＝E to E do S 其语义解释为 (1) i:＝E (2) LIMIT:＝E again: if i＜＝LIMIT then Begin S; i:＝i＋1 goto again End; （1）写出适合语法制导翻译的产生式； （2）写出每个产生式对应的语义动作。 5.把语句 while a<10 do if c>0 then a:=a+1 else a:=a*3-1; 翻译成四元式序列。 6.设有基本块 D:=A-C E:=A*C F:=D*E * 专业技术分享 WORD格式可编辑 S:=2 T:=A-C Q:=A*C G:=2*S J:=T*Q K:=G*5 L:=K+J M:=L 假设基本块出口时只有M还被引用，请写出优化后的四元序列。 7.已知文法G(S) S→a | ^ | (T) T→T,S | S (1) 给出句子(a,(a,a))的最左推导； (2) 给出句型((T,S),a)的短语, 直接短语，句柄。 8.对于 C 语言do S while E语句 (1)改写文法，使之适合语法制导翻译； (2)写出改写后产生式的语义动作。 9.已知文法G(S) S→aAcBe A→Ab| b B→d (1)给出句子abbcde的最左推导及画出语法树； (2)给出句型aAbcde的短语、素短语。 10.设文法G(S): S→(T) | aS | a T→T,S | S ⑴消除左递归和提公共左因子； ⑵构造相应的FIRST和FOLLOW集合； ⑶构造预测分析表。 11.把语句 if X>0 ∨ Y<0 then while X>0 do X:=A*3 else Y:=B+3; 翻译成四元式序列。 12.已知文法G(S) E→E+T | T T→T*F| F F→(E)| i (1) 给出句型 (i+i)*i+i的最左推导及画出语法树； (2) 给出句型 (E+T)*i+F 的短语，素短语和最左素短语。 13.设文法G（S）： S→T | S∨T T→U |T∧U U→i |-U （1）计算FIRSTVT 和LASTVT； （2）构造优先关系表。 专业技术分享 WORD格式可编辑 答案：(1)消除左递，文法变为G’[S]： S→^ | a | (T)' T→ST’ | S T’→,ST’ |ε 此文法无左公共左因子。 (2)构造相应的FIRST和FOLLOW集合： FIRST(S)={a, ^, (}， FOLLOW(S)={#, ,, )} FIRST(T)={a, ^, (} ，FOLLOW(T)={}} FIRST(T’)={,, ε} ，FOLLOW(F)={)} (3)构造预测分析表： a ^ ( S T T’ S→a T→ST’ S→^ T→ST’ S→(T)' T→ST’ ) T’→ε , T’→,ST’ # 2. (1) C→if E then (1) S→CS (2) C→if E then {BACK(E.TC, NXQ); C.chain:=E.FC} (1) (1) S→CS{S.chain:=MERG(C.Chain, S. Chain)} 3. (1) FIRSTVT(S)={a, ( } FIRSTVT(T)={+, aa, (} LASTVT(S)={a, ) } LASTVT(T)={+, a, )} (2) a + ( a .> + <. .> <. ( <. <. <. ) .> .> (1)(2) 4. (1) F→for i:=E to E do (1) S→FS (1)(2) (2) F→for i:=E to E do (1) {GEN(:=, E.place, _, entry(i)); F.place:=entry(i); LIMIT:=Newtemp; (2) GEN(:=, E.place, _, LIMIT); Q:=NXQ; F.QUAD:=q; GEN(j≤, entry(i), LIMIT, q+2) F.chain:=NXQ; GEN(j, _, _, 0)} (1) S→FS (1) {BACKPATCH(S.chain, NXQ); GEN(+, F.place, 1, F.place); GEN(j, _, _, F.QUAD); S.chain:=F.chain } 5. (1) (j<, a, ‘10’, (3)) 专业技术分享 ) .> .> =. >. WORD格式可编辑 (2) (j, _, _, (12)) (3) (j>, c, ‘0’, (5)) (4) (j, _, _, (8)) (5) (+, a, ‘1’, T1)) (6) (:=, T1, _, a) (7) (j, _, _, (1)) (8) (*, a, ‘13’, T2) (9) (-, T2, ‘1’, T3) (10) (:=, T3, _, a) (11) (j, _, _, (1)) 6.优化后的四元序列 D:=A-C E:=A*C F:=D*E M:=F+20 7. 最左推导 S=(T)=>(T,S)=>(S,S)=>(a,S)=>(a,(T))=>(a,(T,S))=>(a,(S,S))=>(a,(a,S))=>(a,(a,a)) 短语 ((T,S),a) (T,S),a (T,S) T,S a 直接短语 T,S a 句柄 T,S 8.(1) S→do M1 S1while M2 E M→ε (2) M→ε {M.quad=nestquad;} S→do M1 S1while M2 E {backpatch(s1.nextlist, M2.quad); backpatch(E.truelist, M1.quad); S.nextlist=E.falelist; } 9.(1) S=>aAcBe=>AAbcBe=>abbcBe=>abbcde (2) 短语: aAbcde, Ab, d 素短语: Ab, d 10.(1) S →(L) | aS’ S’→S |ε L→SL’ L’→,SL’ |ε (2) FIRST(S)={a, (} FIRST(S’)={a, (, ε} FIRST(L)={a, (} FIRST(L’)={,, ε} FOLLOW(S)={,, ), #} FOLLOW(S’)={,, ), #} FOLLOW(L)={ )} FOLLOW(L’)={ )} 专业技术分享 WORD格式可编辑 (3) ( ) a , S S →(L) S → aS’ S’ S’→S S’→ε S’→S S’→ε L L→SL’ L→SL’ L’→,SL’ L’ L’→ε 11.(1) (j>, X, 0, (5)) (2) (j, _, _, (3)) (3) (j<, Y, 0, (5)) (4) (j, _, _, (11)) (5) (j>0, X, 0, (7)) (6) (j, _, _, (7)) (7) (*, A, 3, T1) (8) (:=, T1, _, N) (9) (j, _, _, (5)) (10) (j, _, _, (13)) (11) (+, B, 3, T2) (12) (:=, T2, _, Y) 12.(1) E=>E+T=>T+T=>T*F+T=>F*F+T=>(E)*F+T=>(E+T)*F+T=>(T+T)*F+T =>(F+T)*F+T=>(i+T)*F+T=>(i+F)*F+T=>(i+i)*F+T=>(i+i)*i+T =>(i+i)*i+F=>(i+i)*i+i (2) 短语 i, F, E+T, (E+T), (E+T)*i, (E+T)*i+F 素短语 i, E+T 最左素短语 E+T 13.(1) FIRSTVT(S)={∨, ∧, i, - } FIRSTVT(T)={∧, i, -} FIRSTVT(U)={i, -} LASTVT(S)={∨, ∧, i, - } LASTVT(T)={∧, i, -} LASTVT(U)={i, -} (2) i ∨ ∧ - S .> .> ∨ <. .> <. <. ∧ <. .> .> <. - <. .> .> <. # S’→ε 专业技术分享 WORD格式可编辑 《编译原理》期末试题（二） 1、描述由正规式b*(abb*)*(a| )定义的语言，并画出接受该语言的最简DFA。 2、证明文法E E + id | id是SLR(1)文法。 3、下面是表达式和赋值语句的文法，其中and的类型是bool bool bool，+的类型是int int int，=的类型是int int bool，:= 要求id 和E的类型都是int或者都是bool。为该文法写一个语法制导定义或翻译方案，它完成类型检查。 S id := E E E and E | E + E | E = E |id 4、对于下面C语言文件s.c f1(int x) { long x; x = 1; } f2(int x) { { long x; x = 1; } } 某编译器编译时报错如下： s.c: In function ‘f1’: s.c:3: warning: declaration of ‘x’ shadows a parameter 请回答，对函数f2为什么没有类似的警告错误。 5、下面C语言程序经非优化编译后，若运行时输入2，则结果是 area=12.566360, addr=-1073743076 经优化编译后，若运行时输入2，则结果是 area=12.566360, addr=-1073743068 请解释为什么输出结果有区别。 main() { float s, pi, r; pi=3.14159; scanf(\"%f\ printf(\"area=%f, addr=%d\\n\ } 6、描述由正规式ba(bba)b定义的语言，并画出接受该语言的最简DFA。 7、下面的文法产生代表正二进制数的0和1的串集： B B 0 | B 1 | 1 下面的翻译方案计算这种正二进制数的十进制值： 专业技术分享 WORD格式可编辑 B B1 0 {B.val := B1.val 2 } | B1 1 {B.val := B1.val 2 +1} | 1 {B.val := 1 } 请消除该基础文法的左递归，再重写一个翻译方案，它仍然计算这种正二进制数的十进制值。 8、 在C语言中，如果变量i和j都是long类型，请写出表达式&i和表达式&i&j的类型表达式。为帮助你回答问题，下面给出一个程序作为提示，它运行时输出1。 main() { long i, j; printf(“%d\\n”, &i&j); } 9、一个C语言的函数如下： func(i) long i; { long j; j = i – 1; func(j); } 下面左右两边的汇编代码是两个不同版本GCC编译器为该函数产生的代码。左边的代码在调用func之前将参数压栈，调用结束后将参数退栈。右边代码对参数传递的处理方式没有实质区别。请叙述右边代码对参数传递的处理方式并推测它带来的优点。 func: | func: pushl %ebp | pushl %ebp movl %esp, %ebp | movl %esp, %ebp subl $4, %esp | subl $8, %esp movl 8(%ebp), %edx | movl 8(%ebp), %eax decl %edx | decl %eax movl %edx, -4(%ebp) | movl %eax, -4(%ebp) movl -4(%ebp), %eax | movl -4(%ebp), %eax pushl %eax | movl %eax, (%esp) call func | call func addl $4, %esp | leave leave | ret ret | 编译原理试卷八答案 1、由正规式b*(abb*)*(a| )定义的语言是字母表{a, b}上不含子串aa的所有串的集合。最简DFA如下： b start 1 b a 2 2、先给出接受该文法活前缀的DFA如下： 专业技术分享 WORD格式可编辑 E ·E E ·E + id E ·id I0 id E E E· E E·+ id I1 + E E +·id I3 id E E + id· I4 I0和I3都只有移进项目，肯定不会引起冲突；I2和I4都无移进项目并仅含一个归约项目，也肯定不会引起冲突；在I1中，E的后继符号只有$，同第2个项目的展望符号“+”不一样，因此I1也肯定不会引起冲突。由此可以断定该文法是SLR(1)的。 3、语法制导定义如下。 S id := E { S.type := if (id.type = bool and E.type = bool) or (id.type = int and E.type = int)then type_ok else type_error } E E1 and E2 { E.type := if E1.type = bool and E2.type = bool then bool else type_error } E E1 + E2 { E.type := if E1.type = int and E2.type = int then int else type_error } E E1 = E2 { E.type := if E1.type = int and E2.type = int then bool else type_error } E id { E.type := lookup(id.entry) } 4、对于函数f1，局部变量x声明的作用域是整个函数体，导致在函数体中不可能访问形式参数x。由于这是一个合法的C语言函数，因此编译器给出警告错误。 对于函数f2，由于局部变量x的作用域只是函数体的一部分，不会出现上述问题，因而编译器不报错。 5、使用非优化编译时，变量s, pi, r在局部数据区都分配4个字节的空间。使用优化编译时，由于复写传播，pi*r*r 变成3.14159*r*r，pi=3.14159成为无用赋值而删去，函数中不再有pi的引用，因此不必为pi分配空间。类似地，s=3.14159*r*r也是一个无用赋值（表达式要计算，但赋值是无用的），也不必为s分配空间。这样，和非优化情况相比，局部数据区少了8个字节， 因此r的地址向高地址方向移动了8个字节。 6、正规式ba(bba)b体现的特点是，每个a的左边都有若干b，除非a是第一个字母。该正规式定义的语言是：至少含一个a，但不含子串aa的所有a和b的串集。最简DFA如下： b start 0 a b b 2 7、 消除左递归后的文法： 专业技术分享 E id· I2 a 1 WORD格式可编辑 B 1 B B 0 B | 1 B | 相应的翻译方案如下： B 1 {B.i := 1 }B{B.val := B.val} B 0 {B1.i := B.i 2 } B1 {B.val := B1.val} | 1 {B1.i := B.i 2 +1} B1 {B.val := B1.val} | {B.val := B.i} 8、表达式&i的类型表达式是pointer(long)，表达式&i&j的类型表达式是long。按照C语言的规定，指向同一个类型的两个指针可以相加减，它们值的差是它们之间的元素个数。 9、左边的编译器版本：一般只为局部变量分配空间。调用函数前，用若干次pushl指令将参数压栈，返回后用addl $n, %esp一次将所有参数退栈（常数n根据调用前做了多少次pushl来决定）。 右边的编译器版本：除了为局部变量分配空间外，同时还为本函数中出现的函数调用的参数分配空间，并且参数所用空间靠近栈顶。调用函数前，用movl指令将参数移入栈顶，调用结束后无需参数退栈指令。 优点是每次函数调用结束后不需要执行addl $n, %esp指令，另外增加优化的可能性。 专业技术分享 WORD格式可编辑 《编译原理》期末试题（三） 1、 从优化的范围的角度，优化可以分哪两类？对循环的优化可以有哪三种？ 答：从优化的范围的角度，优化可以分为局部优化和全局优化两类； 对循环的优化有三种：循环不变表达式外提、归纳变量删除与计算强度削减。 2、写出表达式a=b*c+b*d对应的逆波兰式、四元式序列和三元式序列。 答：逆波兰式： abc*bd*+:= 四元式序列： 三元式序列: OP ARG1 ARG2 (1) (* b， c ) (2) (* b， d ) (3) (+ (1)， (2)) (4) (:= (3)， a) (1) (*， b， c， t1) (2) (*， b， d， t2) (3) (+， t1， t2，t3) (4) (:=， t3， /， a) 3、对于文法G(S): S bMbM (L|aL Ma） 答：1） SbMbb(Lbb(Ma)b 2） 短语: Ma)， (Ma)， b(Ma)b 直接短语: Ma) 句柄: Ma) b ( S M b T L M a ) 三、 设有字母表{a，b}上的正规式R=(ab|a)*。 解：（1） 2 - 0 ε a 1 a b ε + 3 （2）将（1）所得的非确定有限自动机确定化 ε a b -0 1 1 3 12 2 1 专业技术分享 WORD格式可编辑 +3 2 + -+ a 0 b a 1 + a （3）对（2）得到的DFA化简，合并状态0和2 为状态2： 2 -+ b a 1 + （4）令状态1和2分别对应非终结符B和A G: A→aB|a|ε； B→aB|bA|a|b|ε；可化简为：G: A→aB|ε；B→aB|bA|ε a 四、 设将文法G改写成等价的LL(1)文法，并构造预测分析表。 G：S→S*aT|aT|*aT； T→+aT|+a 解：消除左递归后的文法G’: S→aTS’|*aTS’ S’→*aTS’|ε T→+aT|+a 提取左公因子得文法G’’: S→aTS’|*aTS’ S’→*aTS’|ε T→+aT’ T’→T|ε Select(S→aTS’)={a} Select(S→*aTS’)={*} Select(S→aTS’)∩Select(S→*aTS’)=Ф Select(S’→*aTS’)={*} Select(S’→ε)=Follow(s’)={#} Select(S’→*aTS’)∩Select(S’→ε)= Ф Select(T→+aT’)={+} Select(T’→T)=First(T) ={+} Select(T’→ ε)=Follow(T’)={*,#} Select(T’→T)∩Select(T’→ε)= Ф 所以该文法是LL(1)文法。 预测分析表： * + a # S →*aTS’ →aTS’ S’ →*aTS’ →ε 专业技术分享 WORD格式可编辑 T →+aT’ T’ → ε →T 6设文法G 为： → ε S→A；A→BA|ε；B→aB|b 解：（1）拓广文法G’：(0) S’→S (1) S→A (2) A→BA(3) A→ε(4) B→aB (5) B→b ； FIRST(A) = {ε, a, b}；FIRST(B) = {a, b} 构造的DFA 如下: 项目集规范族看出，不存在冲突动作。∴该文法是LR(1)文法。 （2） LR(1)分析表如下： (3)输入串abab 的分析过程为： 专业技术分享 WORD格式可编辑 简答题 3、设有文法G[S]: S→S(S)S|ε，该文法是否为二义文法？说明理由。 答：是二义的，因为对于（）（）可以构造两棵不同的语法树。 S S S ( S ) S S ( S ) S ε ε S ( S ) S S ( S ) S ε ε ε ε ε ε ε ε 五、 给定文法G[S]： S→aA|bQ； A→aA|bB|b；B→bD|aQ ；Q→aQ|bD|b；D→bB|aA ；E→aB|bF F→bD|aE|b 构造相应的最小的DFA 。 解：先构造其NFA： 用子集法将NFA确定化： a A A Q Q A A Q b Q BZ DZ D B B D S A Q BZ DZ D B 将S、A、Q、BZ、DZ、D、B重新命名，分别用0、1、2、3、4、5、6表示。因 专业技术分享 WORD格式可编辑 为3、4中含有z，所以它们为终态。 令P0＝（｛0,1,2,5,6｝,｛3,4｝）用b进行分割： P1＝（｛0,5, 6｝,｛1,2｝,｛3,4｝）再用b进行分割： P2＝（｛0｝,｛5, 6｝,｛1,2｝,｛3,4｝）再用a、b 进行分割，仍不变。 再令｛０｝为A，｛1，2｝为B，｛3，4｝为C，｛5，6｝为D。 最小化为右上图。 六、 对文法G(S)：S → a | ^ | (T)；T → T，S | S 答：(1) FIRSTVT(S){a,^,(}FIRSTVT(T){,,a,^,(} LASTVT(S){a,^,)}LASTVT(T){,,a,^,)} a ^ ( ) , # a ^ ( ) > > > < , > > < > > # > > > = (2) 是算符优先文法，因为任何两个终结符之间至多只有一种优先关系。（2分） (3) 给出输入串(a,a)#的算符优先分析过程。 步骤 1 2 3 4 5 6 7 8 9 10 栈 # #( #(a #(N #(N, #(N,a #(N,N #(N #(N) #N < < < < < < < = < > 当前输入字符 剩余输入串 动作 ( a,a# #<( 移进 a ,a)# (, 归约 , a)# (<, 移进 a )# ,) 归约 ） # ,>) 归约 ) # (=) 移进 # )># 归约 # 接受 专业技术分享 WORD格式可编辑 《编译原理》期末试题（四） 一、简述编译程序的工作过程。（10） 编译程序的工作过程，是指从输入源程序开始到输出目标程序为止的整个过程，是非常复杂的，就其过程而言，一般可以划分为五个工作阶段：①词法分析，对构成源程序的字符串进行扫描和分解，识别出一个个的单词；②语法分析，根据语言的语法规则，把单词符号串分解成各类语法单位；③语义分析与中间代码产生，即对各类语法单位，分析其汉一并进行初步翻译；④代码优化，以期产生更高效的代码；⑤目标代码生成，把中间代码变换成特定机器上的低级语言指令形式。 二、构造下列正规式相应的DFA（用状态转换图表示）（15） （1） 1（0 | 1）*1 0,1 （2） 0*10*10*10*1 （3） letter（letter | digit）* （1） （2） (3) 1 0 0 2 0 1 1 2 1 3 0 0 1 3 4 1 5 1 letter letter 1 2 digit 三、给出下面语言的相应文法：（15） nn L1={a b | n≥1} L2={anbm+nam | n≥1，m≥0} G1： A→aAb |ab G1： S→AB 专业技术分享 A→aAb | ab B→bBa | ε WORD格式可编辑 四、对下面的文法G： S→a | b | （T） T→T，S | S (1) 消去文法的左递归，得到等价的文法G2； (2) 判断文法G2是否LL（1）文法，如果是，给出其预测分析表。（15） G2： S→a | b | （T） T→ ST’ T’→，S T’ | ε G2是LL（1）文法。 S T T’ a S→a b S→b （ ） ， # S→（T） T→ ST’ T→ ST’ T→ ST’ T’→ ε T’→，S T’ 五、设有文法G[A]： A→BCc | gDB B→bCDE |ε C→DaB | ca D→dD |ε E→gAf | c (1) 计算该文法的每一个非终结符的FIRST集和FOLLOW集； (2) 试判断该文法是否为LL（1）文法。（15） A B C D E FIRST A,b,c,d,g b A,c,d D C,g FOLLOW A,c,d C,d,g A,b,c,g 是LL（1）文法。 六、对表达式文法G： E → E+T | T T → T*F | F F → (E) | I （1）造各非终结符的FIRSTVT和LASTVT集合； （2）构造文法的算符优先关系表。（15） FIRSTVT LASTVT 专业技术分享 WORD格式可编辑 E T F 算符优先关系表 + * I （ ） # + > > > < > < *，+，（，i *，（，i （，i *，+，），i *，），i ），i * < > > < > < I < < < < （ < < < < ） > > > = > # > > > > = 七、有定义二进制整数的文法如下： L →LB | B B →0 | 1 构造一个翻译模式，计算该二进制数的值（十进制的值）。（15） 引入L、B的综合属性val，翻译模式为： S →L {print(L.val)} L →L1B {L.val= L1.val*2+B.val} L →B {L.val= B.val} B →0 {B.val=0} B →1 {B.val=1} 《编译原理》期末试题（五） 专业技术分享 WORD格式可编辑 一、单项选择题(共10小题，每小题2分，共20分) 1．语言是 A．句子的集合 B．产生式的集合 C．符号串的集合 D．句型的集合 2．编译程序前三个阶段完成的工作是 A．词法分析、语法分析和代码优化 B．代码生成、代码优化和词法分析 C．词法分析、语法分析、语义分析和中间代码生成 D．词法分析、语法分析和代码优化 3．一个句型中称为句柄的是该句型的最左 A．非终结符号 B．短语 C．句子 D．直接短语 4．下推自动机识别的语言是 A．0型语言 B．1型语言 C．2型语言 D．3型语言 5．扫描器所完成的任务是从字符串形式的源程序中识别出一个个具有独立含义的最小语法单位即 A． 字符 B．单词 C．句子 D．句型 6．对应Chomsky四种文法的四种语言之间的关系是 A．L0L1L2L3 B．L3L2L1L0 C．L3=L2L1L0 D．L0L1L2=L3 7．词法分析的任务是 A．识别单词 B．分析句子的含义 C．识别句子 D．生成目标代码 8．常用的中间代码形式不含 A．三元式 B．四元式 C．逆波兰式 D．语法树 9． 代码优化的目的是 A．节省时间 B．节省空间 C．节省时间和空间 D．把编译程序进行等价交换 10．代码生成阶段的主要任务是 A．把高级语言翻译成汇编语言 B．把高级语言翻译成机器语言 C．把中间代码变换成依赖具体机器的目标代码 D．把汇编语言翻译成机器语言 二、填空题（本大题共5小题，每小题2分，共10分） 1．编译程序首先要识别出源程序中每个(单词)，然后再分析每个(句子)并翻译其意义。 2．编译器常用的语法分析方法有(自底向上)和(自顶向下)两种。 3．通常把编译过程分为分析前端与综合后端两大阶段。词法、语法和语义分析是对源程序的(分析)，中间代码生成、代码优化与目标代码的生成则是对源程序的(综合)。 4．程序设计语言的发展带来了日渐多变的运行时存储管理方案，主要分为两大类，即(静态存储分配)方案和(动态存储分配)方案。 专业技术分享 WORD格式可编辑 5．对编译程序而言，输入数据是(源程序)，输出结果是(目标程序)。 三、名词解释题(共5小题，每小题4分，共20分) 1．词法分析 词法分析的主要任务是从左向右扫描每行源程序的符号，按照词法规则 从构成源程序的字符串中识别出一个个具有独立意义的最小语法单位， 并转换成统一的内部表示(token)，送给语法分析程序。 2．LL(1)文法 若文法的任何两个产生式A | 都满足下面两个条件： （1）FIRST( ) FIRST( ) = ； （2）若 * ，那么FIRST( ) FOLLOW( A ) = 。 我们把满足这两个条件的文法叫做LL(1)文法，其中的第一个L代表从左 向右扫描输入，第二个L表示产生最左推导，1代表在决定分析器的每步 动作时向前看一个输入符号。除了没有公共左因子外，LL(1)文法还有一 些明显的性质，它不是二义的，也不含左递归。 3．语法树 句子的树结构表示法称为语法树(语法分析树或语法推导树)。 给定文法G=(VN，VT，P，S)，对于G的任何句型都能构造与之关联的 语法树。这棵树具有下列特征： (1)根节点的标记是开始符号S。 (2)每个节点的标记都是V中的一个符号。 (3)若一棵子树的根节点为A，且其所有直接子孙的标记从左向右的排列 次序为A1A2…AR，那么AA1A2…AR一定是P中的一条产生式。 (4)若一标记为A的节点至少有一个除它以外的子孙，则AVN。 (5)若树的所有叶节点上的标记从左到右排列为字符串w，则w是文法G 的句型；若w中仅含终结符号，则w为文法G所产生的句子。 4．LR(0)分析器 所谓LR(0)分析，是指从左至右扫描和自底向上的语法分析，且在分析的 每一步，只须根据分析栈当前已移进和归约出的全部文法符号，并至多再 向前查看0个输入符号，就能确定相对于某一产生式左部符号的句柄是否 已在分析栈的顶部形成，从而也就可以确定当前所应采取的分析动作 (是 移进还是按某一产生式进行归约等)。 5．语言和文法 文法就是语言结构的定义和描述，是有穷非空的产生式集合。 文法G定义为四元组的形式： G=(VN，VT，P，S) 其中：VN 是非空有穷集合，称为非终结符号集合；VT 是非空有穷集合， 称为终结符号集合；P是产生式的集合(非空)；S是开始符号(或识别符号)。 这里，VN∩VT=，SVN。V=VN∪VT，称为文法G的字母表，它是出现 文法产生式中的一切符号的集合。 专业技术分享 WORD格式可编辑 文法G所描述的语言用L(G)表示，它由文法G所产生的全部句子组成，即 L(G)={x| S*x，其中S为文法开始符号，且xVT } 简单的说，文法描述的语言是该文法一切句子的集合。 四、简答题(共4小题，每小题5分，共20分) 1．编译程序和高级语言有什么区别? 用汇编语言或高级语言编写的程序，必须先送入计算机，经过转换成用机器 语言表示的目标程序（这个过程即编译），才能由计算机执行。执行转换过程 的程序叫编译程序。汇编程序是指没有编译过的汇编语言源文件。编译程序转 换过的叫目标程序，也就是机器语言。 编译程序的工作情况有三种：汇编型、解释型和编译型。汇编型编译程序用来 将汇编语言编写的程序，按照一一对应的关系，转换成用机器语言表示的程序。 解释型编译程序将高级语言程序的一个语句，先解释成为一组机器语言的指令， 然后立即执行，执行完了，取下一组语句解释和执行，如此继续到完成一个程序 止。用解释型编译程序，执行速度很慢，但可以进行人和计算机的\"对话\"，随时 可以修改高级语言的程序。BASIC语言就是解释型高级语言。编译型编译程序将 级语言编写的程序，一次就会部翻译成机器语言表示的程序，而且过程进行很快， 在过程中，不能进行人机对话修改。FORTRAN语言就是编译型高级语言。 2．编译程序的工作分为那几个阶段? 词法分析、语法分析和语义分析是对源程序进行的分析(称为编译程序的前端)， 而中间代码生成、代码优化和代码生成三个阶段合称为对源程序进行综合(称为 编译程序的后端)，它们从源程序的中间表示建立起和源程序等价的目标程序。 3．简述自下而上的分析方法。 所谓自下而上分析法就是从输入串开始，逐步进行“归约”，直至归约到文法的 开始符号；或者说从语法树的末端开始，步步向上“归约”，直到根节点。 4．简述代码优化的目的和意义。 代码优化是尽量生成“好”的代码的编译阶段。也就是要对程序代码进行 一种等价变换，在保证变换前后代码执行结果相同的前提下，尽量使目 标程序运行时所需要的时间短，同时所占用的存储空间少。 五、综合应用题(共3小题，每小题10分，共30分) 1．证明下述文法G： SaSbS|aS|d 是二义性文法。 解： 一个文法，如果存在某个句子有不只一棵语法分析树与之对应，那么称这个 文法是二义性文法。 句子aadbd有两棵语法树。如下图： S S a S S a S b 专业技术分享 a S d d a S d b S d WORD格式可编辑 (1) (2) 由此可知，SaSbS|aS|d定义的文法是二义性文法。 2．对于文法G[S]：SAB，AAa|bB，Ba|Sb求句型baSb的全部短语、直接短语和句柄？ S 句型baSb的语法树如图五(2)所示。 A B b b B S a 解：baSb为句型baSb的相对于S的短语，ba为句型baSb的相对于A的短语，Sb为句型baSb的相对于B的短语，且为直接短语，a为句型baSb的相对于B的短语，且为直接短语和句柄。 3．设有非确定的有自限动机NFA M=({A，B，C}，{0，1}，，{A}，{C})，其中： (A，0)={C} (A，1)={A，B} (B，1)={C} (C，1)={C}。请画出状态转换距阵和状态转换图。 解：状态转换距阵为： A B C 状态转换图为 0 C 1 A，B C C 1 1 AB1 1 C10 《编译原理》期末试题（六） 编译原理 样题 【 】1．____型文法也称为正规文法。 [A] 0 [B] 1 [C] 2 [D] 3 专业技术分享 WORD格式可编辑 【 】2．____文法不是LL(1)的。 [A] 递归 [B] 右递归 [C] 2型 [D] 含有公共左因子的 【 】3． 文法E→E+E|E*E|i的句子i*i+i*i的不同语法分析树的总数为______。 [A]1 [B]3 [C]5 [D]7 【 】4．四元式之间的联系是通过 实现。 [A]临时变量 [B]指示器 [C]符号表 [D]程序变量 【 】5．同心集合并可能会产生的新冲突为 。 [A]二义 [B]移进/移进 [C]移进/归约 [D]归约/归约 【 】6．代码优化时所依据的是 。 [A]语法规则 [B]词法规则 [C]等价变换规则 [D]语义规则 【 】7．表达式a-(-b)*c的逆波兰表示为 。 [A]a-b@c* [B]ab@c*- [C]ab@- [D]ab@c-* （注：@为单目减运 算符） 【 】8．过程的DISPLAY表记录了 。 [A]过程的连接数据 [B]过程的嵌套层次 [C]过程的返回地址 [D]过程的入口地址 二 填空题 3．对于文法G1和G2，若有L(G1)=L(G2) （或 G1和G2的语言相同），则称文法G1和G2是等价的。 4．对于文法G[E]：E→T|E+T T→F|T*F F→P^F|P P→(E)|i，句型T+T*F+i的句柄是T ，最左素短语是 T*F。 5．最右推导的逆过程称为规范归约 ，也称为 最左归约。 6．规范规约中的可规约串是句柄 ，算符优先分析中的可规约串是 最左素短语 7．（A∨ B）∧（C∨ ¬D∧ E） 的逆波兰式是ＡＢ∨ＣＤ¬Ｅ∧∨∧。 8．在属性文法中文法符号的两种属性分别称为继承属性 和综合属性（次序可换）。 9．符号表的每一项是由名字栏和 地址分配 两个栏目组成。在目标代码生成阶段，符号表是 地址分配 的依据。 10．一个过程的DISPLAY表的内容是它的 直接外层 的DISPLAY表的内容加上本 过程的SP的地址 三 有穷自动机M接受字母表＝{0,1}上所有满足下述条件的串：每个1都有0直接跟在右边。构造一个最小的DFA M及和M等价的正规式。 【】【】 专业技术分享 WORD格式可编辑 四 证明正规式(ab)*a 与正规式a(ba)*等价 （用构造他们的最小的DFA方法）。 【 答 案 ： 】 五 写一个文法，使其语言是： nmmn L ＝ { 1010 | m,n≥0 } 【】【】五 文法G：S → 1S0 | A A → 0A1 | ε 六 对文法G[S] S → aSb | P P → bPc | bQc 专业技术分享 WORD格式可编辑 Q → Qa | a (1) 它是否是算符优先文法？请构造算符优先关系表 (2) 文法G[S]消除左递归、提取左公因子后是否是LL（1）文法？请证实。 【】【】1.求出G[S]的FIRSTVT集和LASTVT集：