下载文档原格式
编译原理试题及答案一、选择题1. 编译器的主要功能是什么？A. 程序设计B. 程序翻译C. 程序调试D. 数据处理答案：B2. 下列哪一项不是编译器的前端处理过程？A. 词法分析B. 语法分析C. 语义分析D. 代码生成答案：D3. 在编译原理中，词法分析器的主要作用是什么？A. 识别程序中的关键字和标识符B. 将源代码转换为中间代码C. 检查程序的语法结构D. 确定程序的运行环境答案：A4. 语法分析通常采用哪种方法？A. 自顶向下分析B. 自底向上分析C. 正则表达式匹配D. 直接解释执行答案：B5. 语义分析的主要任务是什么？A. 检查程序的语法结构B. 检查程序的类型安全C. 识别程序中的变量和常量D. 将源代码转换为机器代码答案：B二、简答题1. 简述编译器的工作原理。
答案：编译器的工作原理主要包括以下几个步骤：词法分析、语法分析、语义分析、中间代码生成、代码优化和目标代码生成。
词法分析器将源代码分解成一系列的词素；语法分析器根据语法规则检查词素序列是否合法；语义分析器检查程序的语义正确性；中间代码生成器将源代码转换为中间代码；代码优化器对中间代码进行优化；最后，目标代码生成器将优化后的中间代码转换为目标机器代码。
2. 什么是词法分析器，它在编译过程中的作用是什么？答案：词法分析器是编译器前端的一个组成部分，负责将源代码分解成一个个的词素（tokens），如关键字、标识符、常量、运算符等。
它在编译过程中的作用是为语法分析器提供输入，是编译过程的基础。
三、论述题1. 论述编译器中的代码优化技术及其重要性。
答案：代码优化是编译过程中的一个重要环节，它旨在提高程序的执行效率，减少资源消耗。
常见的代码优化技术包括：常量折叠、死代码消除、公共子表达式消除、循环不变代码外提、数组边界检查消除等。
代码优化的重要性在于，它可以显著提高程序的运行速度和性能，同时降低程序对内存和处理器资源的需求。
四、计算题1. 给定一个简单的四则运算表达式，请写出其对应的逆波兰表达式。
《编译原理》考试试题及答案（附录）一、判断题：1.一个上下文无关文法的开始符，可以是终结符或非终结符。
( X )2.一个句型的直接短语是唯一的。
( X )3.已经证明文法的二义性是可判定的。
（ X ）4.每个基本块可用一个DAG表示。
（√）5.每个过程的活动记录的体积在编译时可静态确定。
（√）6.2型文法一定是3型文法。
（ x ）7.一个句型一定句子。
( X )8.算符优先分析法每次都是对句柄进行归约。
(应是最左素短语) ( X )9.采用三元式实现三地址代码时，不利于对中间代码进行优化。
（√）10.编译过程中，语法分析器的任务是分析单词是怎样构成的。
( x )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.扫描器的任务是从（）中识别出一个个（）。
编译原理试题与答案第1讲绪论本讲模拟练习题(不计分)1. 编译是对( )。
A. 机器语⾔的执⾏B. 汇编语⾔的翻译C. ⾼级语⾔的翻译D. ⾼级语⾔程序的解释执⾏正确答案：C你选对了2. ⽤⾼级语⾔编写的程序经编译后产⽣的程序叫( )。
A. 源程序B. ⽬标程序C. 连接程序D. 解释程序正确答案：B你选对了3. ( )不是编译程序的组成部分。
A. 词法分析程序B. 代码⽣成程序C. 设备管理程序D. 语法分析程序正确答案：C你选对了4. 源程序是句⼦的集合，( )可以较好地反映句⼦的结构。
A. 线性表B. 树C. 完全图D. 堆栈正确答案：B你选对了5. 编译程序是⼀种( )。
A. 汇编程序B. 翻译程序C. 解释程序D. ⽬标程序正确答案：B你选对了6. 按逻辑上划分，编译程序第三步⼯作是( )。
A. 语义分析B. 词法分析C. 语法分析D. 代码⽣成正确答案：A你选对了7. 编译程序中语法分析器接收以( )为单位的输⼊。
A. 单词B. 表达式C. 产⽣式D. 句⼦正确答案：A你选对了8. 编译过程中，语法分析器的任务就是( )。
A. 分析单词是怎样构成的B. 分析单词串是如何构成语句和声明的C. 分析语句和声明是如何构成程序的D. 分析程序的结构正确答案：B你选对了9. 语法分析时所依据的是( )A. 语法规则B. 词法规则C. 语义规则D. 等价变换规则正确答案：A你选对了第1讲测验（计分）把汇编语⾔程序翻译成机器可执⾏的⽬标程序的⼯作是由( )完成的。
1. 单选(1分) 把汇编语⾔程序翻译成机器可执⾏的⽬标程序的⼯作是由A. 编译器B. 解释器C. 预处理器D. 汇编器正确答案：D你选对了2. 单选(1分) ( )不是编译程序的组成部分。
A. 词法分析程序B. 语法分析程序C. 代码⽣成程序D. 设备管理程序正确答案：D你选对了3. 单选(1分) 通常⼀个编译程序中，不仅包含词法分析，语法分析，语义分析，中间代码⽣成，代码优化，⽬标代码⽣成等六个部分，还应包括( )。
编译原理考试题一、选择题。
1. 编译原理的主要任务是（）。
A.将高级语言程序翻译成机器语言程序。
B.将机器语言程序翻译成高级语言程序。
C.将源程序翻译成目标程序。
D.将目标程序翻译成源程序。
2. 以下哪个不是编译器的主要组成部分（）。
A.词法分析器。
B.语法分析器。
C.语义分析器。
D.目标代码生成器。
3. 语法分析的主要任务是（）。
A.将源程序分解成单词。
B.将单词序列转换成语法分析树。
C.将语法分析树转换成目标代码。
D.将源程序转换成目标程序。
4. 以下哪个不是语义分析的主要任务（）。
A.类型检查。
B.中间代码生成。
C.错误处理。
D.优化。
5. 目标代码生成的主要任务是（）。
A.将中间代码转换成目标代码。
B.将源程序转换成目标程序。
C.将目标程序转换成源程序。
D.将目标代码转换成中间代码。
二、填空题。
1. 词法分析的输出是（）。
2. 语法分析的输出是（）。
3. 语义分析的输出是（）。
4. 目标代码生成的输入是（）。
5. 目标代码生成的输出是（）。
三、简答题。
1. 请简要说明编译过程中词法分析的作用和实现方法。
2. 请简要说明编译过程中语法分析的作用和常用的语法分析方法。
3. 请简要说明编译过程中语义分析的作用和常见的语义分析任务。
4. 请简要说明编译过程中目标代码生成的作用和常用的目标代码生成方法。
5. 请简要说明编译过程中优化的作用和常见的优化方法。
四、分析题。
1. 请分析词法分析器的设计和实现方法，并给出一个具体的例子。
2. 请分析语法分析器的设计和实现方法，并给出一个具体的例子。
3. 请分析语义分析器的设计和实现方法，并给出一个具体的例子。
4. 请分析目标代码生成器的设计和实现方法，并给出一个具体的例子。
5. 请分析编译器优化的方法和实现过程，并给出一个具体的例子。
五、综合题。
1. 请设计一个简单的编译器，包括词法分析器、语法分析器、语义分析器和目标代码生成器，并给出相应的实现代码。
2. 请分析该编译器的设计思路和实现方法，并说明其优缺点。
编译原理复习题及答案一、选择题1．一个正规语言只能对应(B)A 一个正规文法B 一个最小有限状态自动机2．文法G[A]：A→εA→aB B→Ab B→a是(A)A 正规文法B 二型文法3．下面说法正确的是(A)A 一个SLR（1）文法一定也是LALR（1）文法B 一个LR（1）文法一定也是LALR（1）文法4．一个上下文无关文法消除了左递归，提取了左公共因子后是满足LL（1）文法的(A)A 必要条件B 充分必要条件5．下面说法正确的是(B)A 一个正规式只能对应一个确定的有限状态自动机B 一个正规语言可能对应多个正规文法6．算符优先分析与规范归约相比的优点是(A)A 归约速度快B 对文法限制少7．一个LR（1）文法合并同心集后若不是LALR（1）文法(B)A 则可能存在移进/归约冲突B 则可能存在归约/归约冲突C 则可能存在移进/归约冲突和归约/归约冲突8．下面说法正确的是(A)A Lex是一个词法分析器的生成器B Yacc是一个语法分析器9．下面说法正确的是(A)A 一个正规文法也一定是二型文法B 一个二型文法也一定能有一个等价的正规文法10．编译原理是对(C)。
A、机器语言的执行B、汇编语言的翻译C、高级语言的翻译D、高级语言程序的解释执行11．(A)是一种典型的解释型语言。
A．BASIC B．C C．FORTRAN D．PASCAL 12．把汇编语言程序翻译成机器可执行的目标程序的工作是由(B)完成的。
A. 编译器B. 汇编器C. 解释器D. 预处理器13．用高级语言编写的程序经编译后产生的程序叫(B)A．源程序B．目标程序C．连接程序D．解释程序14．(C)不是编译程序的组成部分。
A.词法分析程序B.代码生成程序C.设备管理程序D.语法分析程序15．通常一个编译程序中，不仅包含词法分析，语法分析，语义分析，中间代码生成，代码优化，目标代码生成等六个部分，还应包括(C)。
A．模拟执行器B．解释器C．表格处理和出错处理D．符号执行器16．编译程序绝大多数时间花在(D)上。
编译原理考试题及答案汇总一、选择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/d6． 一个编译程序中，不仅包含词法分析， _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． 编译过程中 , 语法分析器的任务就是 (1) 分析单词是怎样构成的 (2) (3) 分析语句和说明是如何构成程序的 A ．( ) (2)(3) B ．( ) (2)(3)(4)C ．( ) (1)(2)(3) D ．( ) (1)(2)(3)(4) 12． 编译程序是一种 ___C__。
编译原理考试题
1. 编译器的作用是什么？简述编译器的基本工作流程。
2. 解释什么是词法分析。
描述词法分析器的基本工作原理。
3. 什么是语法分析？描述语法分析器的基本工作原理。
4. 解释语义分析的概念。
语义分析器的基本工作原理是什么？
5. 请简要解释编译器的前端和后端分别是做什么的。
6. 什么是中间代码？为什么编译器要生成中间代码？
7. 解释什么是符号表。
符号表在编译过程中起到什么作用？
8. 简述优化在编译过程中的作用。
列举并解释两种常见的优化技术。
9. 解释静态链接和动态链接的区别。
10. 请解释解释器和编译器之间的区别。
描述它们各自的工作
原理。
11. 解释冲突解析算法中的"移进-归约"冲突和"归约-归约"冲突。
12. 简述LL(1)文法和LR(1)文法的特点及区别。
13. 解释编程语言中的数据类型检查和类型推导的概念。
14. 简要描述语法制导翻译的概念和基本原理。
15. 请解释正则表达式和有限自动机之间的关系。
注意：以上为编译原理考试相关的问题，文中不含有标题相同的文字。
编译原理试题及答案一、选择题1. 下列哪个不是编译器所需的基本处理步骤？A. 词法分析B. 语法分析C. 语义分析D. 目标代码优化答案：D2. 编译器的主要功能是将高级语言程序翻译成什么形式？A. 汇编语言B. 机器语言C. 中间代码D. 高级语言答案：B3. 下列哪个不属于编译器的后端阶段？A. 代码优化B. 目标代码生成C. 词法分析D. 目标程序优化答案：C二、填空题1. 编译器的输入是源程序，输出是目标程序。
2. 目标代码生成阶段的任务是将中间代码翻译成汇编语言或机器语言。
3. 语法分析阶段的输出是抽象语法树。
三、简答题1. 请简述编译器的工作原理。
编译器的工作原理主要包括词法分析、语法分析、语义分析、中间代码生成、代码优化和目标代码生成等阶段。
词法分析阶段将源程序分解成单词（也称为词法单元），语法分析阶段根据语法规则将词法单元组织成一个语法树，语义分析阶段对语法树进行语义检查，中间代码生成阶段将语法树转化为中间代码，代码优化阶段对中间代码进行优化，最后目标代码生成阶段将中间代码转化为机器语言或汇编语言。
2. 请说明词法分析的作用是什么，如何实现？词法分析的作用是将源程序中的字符序列转化为单词序列，也就是将一段代码切分成不同的词法单元。
实现词法分析可以通过有限状态自动机来处理输入字符序列，并根据一系列规则将字符序列划分为词法单元。
常用的方法有手写分析器和使用词法分析生成器等。
3. 简要介绍一下代码优化的目的和方法。
代码优化的目的是通过对程序的中间代码或目标代码进行调整，以达到提高程序性能、减小程序的空间占用或减小程序的执行时间等目的。
代码优化的方法主要包括局部优化和全局优化两种。
局部优化主要针对某个代码块进行优化，如常量折叠、公共子表达式消除等。
全局优化则考虑整个程序，对程序的整体结构进行优化，如循环优化、函数内联等。
总结：编译原理试题及答案主要涵盖了选择题、填空题和简答题三个部分。
其中选择题主要考察对编译器基本处理步骤和功能的理解。
编译原理考试题及答案一、选择题（每题5分，共20分）1. 编译器的主要功能是什么？A. 代码优化B. 代码翻译C. 代码调试D. 代码运行答案：B2. 下列哪个选项不属于编译器的前端部分？A. 词法分析B. 语法分析C. 语义分析D. 代码生成答案：D3. 在编译原理中，文法的产生式通常表示为：A. A -> αB. A -> βC. A -> γD. A -> δ答案：A4. 下列哪个算法用于构建语法分析树？A. LL(1)分析B. LR(1)分析C. SLR(1)分析D. LALR(1)分析答案：A二、填空题（每空5分，共20分）1. 编译器的前端通常包括词法分析、语法分析和________。
答案：语义分析2. 编译器的后端主要负责________和目标代码生成。
答案：代码优化3. 编译器中的词法分析器通常使用________算法来识别单词。
答案：有限自动机4. 语法分析中，________分析是一种自顶向下的分析方法。
答案：递归下降三、简答题（每题10分，共30分）1. 简述编译器的作用。
答案：编译器的主要作用是将高级语言编写的源代码转换成计算机能够理解的低级语言或机器代码，以便执行。
2. 解释一下什么是语法制导翻译。
答案：语法制导翻译是一种翻译技术，它利用源语言的语法信息来指导翻译过程，使得翻译过程能够更好地理解源代码的语义。
3. 什么是词法分析器？答案：词法分析器是编译器前端的一部分，它的任务是将源代码文本分解成一系列的标记（tokens），这些标记是源代码的最小有意义的单位。
四、计算题（每题10分，共30分）1. 给定一个简单的文法G(E)：E → E + T | TT → T * F | FF → (E) | id请计算文法的非终结符号E的FIRST集和FOLLOW集。
答案：E的FIRST集为{(, id}，FOLLOW集为{), +, $}。
2. 假设编译器在进行语法分析时，遇到一个语法错误的代码片段，请简述编译器如何处理这种情况。
参考答案一、单项选择题(共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 ．L 0⊂L 1⊂L 2⊂L 3B ．L 3⊂L 2⊂L 1⊂L 0C ．L 3=L 2⊂L 1⊂L 0D ．L 0⊂L 1⊂L 2=L 3 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．通常把编译过程分为分析前端与综合后端两大阶段。
词法、语法和语义分析是对源程序的(分析)，中间代码生成、代码优化与目标代码的生成则是对源程序的(综合)。
中间语言与语法制导翻译重点与难点重点：语法制导翻译的基本思想，属性文法，翻译模式，说明语句的翻译方案。
三地址码，各种语句的目标代码结构、属性文法与翻译模式。
难点：属性的意义，对综合属性，继承属性，固有属性的理解，属性计算，怎么通过属性来表达翻译。
布尔表达式的翻译，对各种语句的目标代码结构、属性文法与翻译模式的理解。
基本要求掌握语法制导翻译的基本思想，属性文法，综合属性，继承属性，固有属性，属性计算，s_属性文法,L_属性文法，说明语句的翻译方案，翻译模式、属性文法的实现掌握中间语言与语义分析的基本概念；熟练掌握语法(结构)树、三地址代码、赋值与控制语句的翻译、说明语句的翻译；掌握组合数据说明的翻译、过程调用翻译。
例题解析例1 给定文法E --> T { R.i := T.p }R { E.p := R.s }R --> addopT { R1.i := mknode( addop.val, R.i, T.p ) }R { R.s := R1.s }R --> : { R.s := R1.s }T --> ( E ) { T.p := E.p }T --> id { T.p := mkleaf( id, id.entry) }T --> num { T.p := mkleaf( n um, n um.val ) }(1) 指岀文法中的各非终结符具有哪些综合属性和哪些继承属性⑵ 画岀按本翻译模式处理表达式 a + 20 + ( b - 10 ) 时所生成的语法树【解】(1)E的综合属性p，R的继承属性i，综合属性s ; T的综合属性p⑵处理表达式a + 20 + ( b - 10 ) 时所生成的语法树如下例2定义一个计算器的属性文法，完成一个输入表达式值的计算和显示【解】计算器的文法L T EE T E1 + T | TT T T1 * F | FF T ( E ) | digit引进属性 val , 计算器的属性文法：L T Eprint( E.val )( L 的虚属性)E T E1 + T E.val := El.val + T.val E T TE.val := T.val T T T1 * FT.val := Tl.val * F.val T T FT.val := F.val F T ( E )F.val := E.val F T digitF.val := digit .l exvallexval 是单词digit的属性 例3给岀对输入串 6-3 3*5+4 的分析树与属性计算 【解】3*5+4的分析树与属性计算digit .l exval=3例4定义一个说明语句的属性文法 【解】说明语句的文法D T T L T T int T T real L T L1,idL T id要解决的问题：记录标识符的类型和类型信息传递方法：引进属性type,和in,用T.type 记录类型信息，并传给L.in,说明语句的属性文法如下：D T T L L.in := T.type T T int T.type := ' integer ' T T realT.type :=' real 'L T L1,id L1.in := L.inaddtype( id.e ntry, L.i n )L T idaddtype( id.entry, L.in )en try单词id 的属性Prin t(19) E.val=19E.val=15 T.val=4 T.val=15F.val=4T.val=3 F.val=5 digit .l exval=4F.val=3digit.l exval=5addtype 在符号表中为变量填加类型信息例6设下列文法生成变量的类型说明D T id LL T , id L | : TT T in teger | real试构造一个翻译模式，把每个标识符的类型存入符号表。
【解】解题思路这是一个对说明语句进行语义分析的题目，不需要产生代码，但要求把每个标识符的类型填入符号表中。
解答对D, L, T设置综合属性type。
过程addtype(id,type) 用来把标识符id及其类型type填入到符号表中。
翻译模式如下：D T id L {addtype(id.e ntry,L.type) }L T ,id L1 {addtype(id.entry,L1.type);L.type:=L1.type;}L T : T {L.type:=T.type}T T integer {T.type:=interger}T T real {T.type:=real} 例7文法G的产生式如下：S T (L) | a L T L , S | S(1) 试写出一个语法制导定义，它输出配对括号个数;(2) 写一个翻译方案，打印每个a的嵌套深度。
如((a),a), 打印2,1。
【解】解题思路本题包括两部分，第1部分要求写语法制导定义，第2部分要求写翻译方案。
语法制导定义(或属性文法)可以看作是关于语言翻译的高级规范说明，其中隐去实现细节，使用户从明确说明翻译顺序的工作中解脱岀来。
翻译方案(也称翻译模式)给岀了使用语义规则进行计算的次序，把某些实现细节表示岀来。
读者从下面解答中可体会两者的区别。
解答为S L引入属性h,代表配对括号个数。
语法制导定义如下：产生式语义规则S T (L) S.h:=L.h+1S T a S.h:=0L.h:=L1.h+S.hL.h:=S.hS't S print(S.h)⑵为S、L引入d，代表a的嵌套深度。
翻译方案如下：S'T{ S.d:=O; } SS t‘ (' {L.d:=S.d+1;}L‘)'S t a{print(S . d) ; }L t {L1.d:=L.d;}L1{S.d:=L.d;}SL t {S.d:=L.d}S例8 下列文法对整型常数和实型常数施用加法运算符“ +”生成表达式; 当两个整型数相加时，结果仍为整型数，否则，结果为实型数：E t E+T | TT t num.num | num(1) 试给出确定每个子表达式结果类型的属性文法。
(2) 扩充(1) 的属性文法，使之把表达式翻译成后缀形式，同时也能确定结果的类型。
应该注意使用一元运算符inttoreal 把整型数转换成实型数，以便使后缀形如加法运算符的两个操作数具有相同的类型。
【解】解题思路确定每个子表达式结果类型的属性文法是比较容易定义的。
关键是如何扩充此属性文法，使之把表达式翻译成后缀形式。
我们将不在name或num.num向T归约的时候输岀该运算对象，而是把运算对象的输岀放在T或E+ T向E归约的时候。
这是因为考虑输岀类型转换算符inttoreal 的动作可能在E+ T归约的时候进行，如果这时两个运算对象都在前面name或num.num向T归约的时候已输岀，需要为第1个运算对象输岀类型转换算符时就已经为时太晚。
还要注意的是，在E+ T向E归约时，该加法运算的第1个运算对象已经输岀。
所以E T E+ T的语义规则不需要有输岀E 运算对象的动作。
解答( 1 )为文法符号E和T配以综合属性type,用来表示它们的类型。
类型值分别用int和real来表示。
确定每个子表达式结果类型的属性文法如下：产生式E t E1＋TE t TT t num.num T t num 语义规则{T.type:=if E1.type=int and T.type=int then int else real {E.type:=T.type}T.type:=realT.type:=int(2) 下面属性文法将表达式的后缀表示打印输岀，其中lexeme 属性表示单词的拼写。
产生式E t E1＋T语义规则if E1.type=real and T.type=int then beginE.type:=real;print(T.lexeme);print( ‘ inttoreal ' );endL T L1 , SL T Selse if E1.type=int and T.type=real thenbeginE.type:=real;print( ‘ inttoreal ' );print(T.lexeme);endelse beginE.type:=E1.type; print(T.lexeme);endprint( ‘ +' );E T T E.type:=T.type;print(T.lexeme);T T num.num T t num T.type:=real;T.lexeme:=num1.lexeme|| “. ”||num2.lexeme T.type:=int;T.lexeme:=num.lexeme;例9 将下列语句翻译为逆波兰表示(后缀式) 、三元式和四元表示：a:=(b+c)*e+(b+c)/f【解】解题思路把中缀式转换为后缀式的简单方法：按中缀式中各运算符的优先规则，从最先执行的部分开始写，一层层套。
如a< b+c A a > d V a+b^ e,先把b+c写为bc+ ；然后把a w套上去，成为abc+ w；再把a >d表示为ad >;然后把人套上去，成为abc+ w ad>A，依此类推。
四元式由4 个部分组成：算符op 、第1 和第2 运算量arg1 和arg2 ，以及运算结果result 。
运算量和运算结果有时指用户自定义的变量，有时指编译程序引进的临时变量。
如果op 是一个算术或逻辑算符，则result 总是一个新引进的临时变量，用于存放运算结果。
三元式只需3 个域：op、arg1 和arg2 。
与四元式相比，三元式避免了临时变量的填入，而是通过计算这个临时变量的语句的位置来引用这个临时变量。
我们很容易把一个算术表达式或一个赋值句表示为四元式序列或三元式序列。
解答逆波兰表示为：bc+e*bc+f/+:=三元式序列为：(1) (+ ，b，c)(2) (* ，(1) ，e)(3) (+ ，b，c)(4) (/ ，(3) ，f)(5) (+ ，(2) ，(4))(6) (:= ，a，(5))四元式序列为：(1)(+，b，c，T1)(2)(*，T1，e，T2)(3)(+，b，c，T3)(4)(/，T3，f ，T4) (5)(+，T2，T4，T5)(6)(:=，T5，- ，a)例10 利用回填技术把语句while a>0 or b>0 doif c>0 and d<0 then x:=y+1; 翻译为三地址代码。
