第七章 属性文法与语法制导翻译【荐】.pdf

第七章 属性文法与语法制导翻译 周开来 西南林业大学计算机与信息科学系 概述 语法表述的是语言的形式，或者说是语言的 样子和结构 程序设计语言中更重要的一个方面，是附着 在语言结构上的语义 语义揭示了程序本身的涵义、施加于语言结 构上的限制或者要执行的动作 语法正确的句子，它的语义可能存在问题 “老鼠吃猫” 问题 概述 语义分析的任务： ①检查语言结构的语义是否正确 ②执行所规定的语义动作 如表达式的求值、中间代码的生成、符号表 的填写 一. 属性文法 1.属性 一个文法符号X ∈(V ∪V )的语义性质称为该文法符号 N T 的语义属性，用以代表与文法的相关信息，简称属性。 2.属性文法 属性文法 （也称属性翻译文法） 1. Knuth在1968年提出 2. 语义规则：对于文法的每个产生式都配备 了一组属性的计算规则 3. 属性文法:在上下文无关文法的基础上，为每 个文法符号（终结符或非终结符）配备若干 相关的“值” （称为属性）,且让该文法中的产 生式附以语义规则时,称该上下文无关文法为 属性文法。 ① 属性代表与文法符号相关信息，如类型、 值、代码序列、符号表内容等 ② 属性可以进行计算和传递 例1:简单算术表达式求值的属性文法 L是文法的识别符号， n表示行结束符，产生 式L→En的语义规则是 一个过程，表示打印E 的属性值val 对非终结符E、T 、F各引进一个整型属性值Val; 对终结符digit引进整型值lexval，由词法分析程序提 供； 语义规则部分明确地规定了各属性值是如何计算的。 例2:简单变量说明语句的属性文法 该文法定义的是一种 说明语句，该说明语句 的形式是由关键字int 或real开头，后跟一个 标识符表，每个标识符 间用逗号隔开。 给非终结符T引入一 个type属性，它的值由 说明中的关键字确定； 过程Addtype的功能是把标识 给L引入一个in属 符的类型添加到符号表中的 性，它的值引入一个in 相应条目中。该条目位置由 属性，它的值由T.type entry指定。 或前一个L