下载文档原格式
中国科学技术大学陈意云编译原理全套参考资料chapter4 第四章语法制导的翻译在3.7节用Yacc写的例子中，我们看到一种有用的描述形式:语言结构的属性附加在代表语言结构的文法符号上，这些属性值由附加在文法产生式的语义动作来计算，这些语义动作在归约对应的产生式时进行计算，由此得到结果。
这种描述形式可用来描述编译器的语义分析，因此本章系统地研究这种称之为“语法制导下的语言翻译”的描述方法及其实现。
它的语义动作(有时称为语义规则)的计算可以产生代码、把信息存入符号表、显示出错信息、或完成其它工作。
语义规则的计算结果就是我们所要的记号流的翻译。
本章讨论语义规则和产生式相联系的两种方式:语法制导的定义和翻译方案。
语法制导定义是较抽象的翻译说明，它隐蔽了一些实现细节;而翻译方案陈述了一些实现细节，主要是指明了语义规则的计算次序。
在第五章说明语义检查和第七章描述中间代码生成时，大量使用这两种方法。
本章还讨论语法制导定义和翻译方案的实现方法。
概念上的方法是，首先分析输入的记号串，建立分析树，然后从分析树得到描述结点属性间依赖关系的有向图，从这个依赖图得到语义规则的计算次序，然后进行计算，最终得到翻译的结果。
实际的实现并不需要按上面步骤逐步进行，本章将讨论几种不同限制下的实现方法。
4.1 语法制导的定义语法制导的定义是上下文无关文法的推广，其中每个文法符号都有一个属性集合，它分成两个子集，分别叫做该文法符号的综合属性集合和继承属性集合。
如果我们把分析树上的结点看成是保存对应文法符号的属性的记录，那么属性对应记录的域。
属性可以表示任何东西:串、数、类型、内存单元，或其它想表示的东西。
分析树结点的属性值由该结点所用产生式的语义规则定义。
在语法制导定义中，我们把其中的文法称为基础文法。
本节介绍语法制导定义的形式及其概念上的实现模型。
4.1.1 语法制导定义的形式在语法制导定义中，每个文法符号有一组属性，每个文法产生式A , ,有一组形式为b := f (c, c, …, c )的语义规则，其中f 是函数，b和c, c, …, c 是该产生式的文法符号的12k12k属性，并且:(1) 如果b是A的属性，c , c , …, c 是产生式右部文法符号的属性或A的其它属12k性，那么b叫做文法符号A的综合属性。
Translator++是一个翻译工具，其规则可能包括以下几个方面：
1. 语法规则：Translator++的语法规则是指其解析和处理输入文本的方式。
它应该能够识别和解析各种语言的语法结构，以便正确地翻译文本。
2. 词汇规则：Translator++的词汇规则是指其翻译过程中使用的词汇和短语。
它应该具有一个广泛的词汇库，以便能够翻译各种语言中的词汇和短语。
3. 语义规则：Translator++的语义规则是指其理解文本含义的方式。
它应该能够理解文本中的语境、语气和意图，以便正确地翻译文本。
4. 文化规则：Translator++的文化规则是指其处理文化差异的方式。
它应该能够理解不同文化中的文化符号、习俗和价值观，以便正确地翻译文本。
5. 输出规则：Translator++的输出规则是指其生成翻译结果的方式。
它应该能够生成准确、流畅和自然的翻译结果，以便用户能够轻松地理解和使用。
需要注意的是，这些规则可能因不同的Translator++版本和不同的语言对而有所不同。
因此，在使用Translator++时，建议仔细阅读其文档和用户手册，以了解其具体的规则和使用方法。
语法翻译法的实施步骤1. 简介语法翻译法是一种用于将一种程序设计语言转换为另一种程序设计语言的技术。
它通过将源语言的语法规则映射到目标语言的语法规则，实现源语言程序到目标语言程序的转换。
本文将介绍实施语法翻译法的具体步骤。
2. 步骤以下是实施语法翻译法的一般步骤：步骤1: 确定源语言和目标语言在开始进行语法翻译的过程中，首先需要确定源语言和目标语言。
源语言是我们要转换的程序设计语言，目标语言是将源语言转换成的语言。
确切地了解源语言和目标语言的语法规则和语义规则非常重要。
步骤2: 词法分析词法分析是将源程序分解为一个个的单词（Token）的过程。
在这一步骤中，我们需要编写一个词法分析器，它将源代码作为输入，并识别出其中的单词。
每个单词都包含一个词法类型和一个对应的字符串值。
示例：源代码: x = 5 * 2;词法分析输出：- 词法类型: 标识符，字符串值: x- 词法类型: 赋值运算符，字符串值: =- 词法类型: 数字，字符串值: 5- 词法类型: 运算符，字符串值: *- 词法类型: 数字，字符串值: 2- 词法类型: 分号，字符串值: ;步骤3: 语法分析语法分析是将词法分析器输出的单词流转换为语法树的过程。
在这一步骤中，我们需要编写一个语法分析器，它将识别源代码中的语法规则并生成一个语法树。
语法树用于表示程序的结构和层次关系。
示例：源代码: x = 5 * 2;语法树：=/ \\x */ \\5 2步骤4: 语法制导翻译语法制导翻译是基于语法树进行语法规则的翻译过程。
在这一步骤中，我们需要根据源语言和目标语言的语法规则，编写语法制导翻译器，它将遍历语法树并根据语法规则翻译每个节点。
示例：源代码: x = 5 * 2;目标语言: Python翻译结果: x = 5 * 2步骤5: 语义分析和翻译语义分析是对源代码进行静态语义检查的过程。
在这一步骤中，我们需要编写语义分析器，它将检查源代码是否符合源语言和目标语言的语义规则。
03091337 李璐 03091339 宗婷婷一、上机题目：实现一个简单语言（CPL）的编译器（解释器）二、功能要求：接收以CPL编写的程序，对其进行词法分析、语法分析、语法制导翻译等，然后能够正确的执行程序。
三、试验目的1.加深编译原理基础知识的理解：词法分析、语法分析、语法制导翻译等2.加深相关基础知识的理解：数据结构、操作系统等3.提高编程能力4.锻炼独立思考和解决问题的能力四、题目说明1.数据类型：整型变量（常量），布尔变量（常量）取值范围{…, -2, -1, 0, 1, 2, …}, {true, false}2、运算表达式：简单的代数运算，布尔运算3、程序语句：赋值表达式，顺序语句，if-else语句，while语句五、环境配置1.安装Parser Generator、Visual C++；2.分别配置Parser Generator、Visual C++；3.使用Parser Generator创建一个工程编写l文件mylexer.l；编译mylexer.l，生成mylexer.h与mylexer.c；4.使用VC++创建Win32 Console Application工程并配置该项目；加入mylexer.h与mylexer.c，编译工程；执行标识符数字识别器；注意：每次修改l文件后，需要重新编译l文件，再重新编译VC工程六、设计思路及过程设计流程：词法分析LEX的此法分析部分主要利用有限状态机进行单词的识别，在分析该部分之前，首先应该对YACC的预定义文法进行解释。
在YACC中用%union扩充了yystype的内容，使其可以处理char型，int型，node型，其中Node即为定义的树形结点，其定义如下：typedef enum { TYPE_CONTENT, TYPE_INDEX, TYPE_OP } NodeEnum;/* 操作符 */typedef struct {int name; /* 操作符名称 */int num; /* 操作元个数 */struct NodeTag * node[1]; /* 操作元地址可扩展 */} OpNode;typedef struct NodeTag {NodeEnum type; /* 树结点类型 *//* Union 必须是最后一个成员 */union {int content; /* 内容 */int index; /* 索引 */OpNode op; /* 操作符对象 */};} Node;extern int Var[26];结点可以是三种类型(CONTENT,INDEX,OP)。
