语义分析和语法制导翻译-编译原理-06-(二).pdfVIP

第六章 语义分析和语法制导翻译 第六章 语义分析和语法制导翻译 语义分析的任务：检查语义错误  语义分析的任务：检查语义错误 类型检查： 运算数类型 类型检查： 运算数类型 一致性检查： 名字声明与引用 一致性检查： 名字声明与引用 控制流检查： 转移目标 控制流检查： 转移目标 名字检查： 作用域 名字检查： 作用域 翻译的任务：建立等价的目标程序  翻译的任务：建立等价的目标程序 生成中间语言的指令序列 生成中间语言的指令序列 名字绑定： 变量名、过程名 名字绑定： 变量名、过程名 建立运行环境 建立运行环境 6.1 属性文法 6.1 属性文法 语义分析与语法制导翻译的描述方法 语义分析与语法制导翻译的描述方法  属性文法的定义：  属性文法的定义：  Ａ＝（Ｇ，Ｖ，Ｆ）  Ａ＝（Ｇ，Ｖ，Ｆ） Ｇ 是上下文无关文法 Ｇ 是上下文无关文法 Ｖ 属性的有穷集 Ｖ 属性的有穷集 Ｆ 关于属性的断言和谓词 Ｆ 关于属性的断言和谓词 用法 用法 针对语义，为文法符号设置属性 针对语义，为文法符号设置属性 终结符使用单词的属性 终结符使用单词的属性 为每个产生式设置语义规则 为每个产生式设置语义规则 通过描述各属性的关系 通过描述各属性的关系 将语义分析和翻译步骤定义为产生式的 将语义分析和翻译步骤定义为产生式的 断言和谓词 断言和谓词 例6-1: 计算器的算法设计 例6-1: 计算器的算法设计  需求：算术表达式的求值  需求：算术表达式的求值  设计：  设计： 编制算术表达式的文法 编制算术表达式的文法 引入属性表示语义信息 引入属性表示语义信息 将值 val 作为表达式 E、项 T 和因子 F 的属性 将值 val 作为表达式 E、项 T 和因子 F 的属性 用语义规则描述表达式的求值 用语义规则描述表达式的求值 属性文法（语法制导定义） 属性文法（语法制导定义） 产生式 语义规则 产生式 语义规则 L → E L → E print( E.val ) print( E.val ) E → E + T E.val := E .val + T.val E → E1 + T E.val := E1.val + T.val 1 1 E → T E → T E.val := T.val E.val := T.val T →