西安交通大学考研资料(编译原理)----第六章 属性文法和语法制导翻译.pdfVIP

第六章 属性文法和语法制导翻译 前面词法分析我们解决用户源程序中单词符号是否正确的问题，而语法分析我们解决用 户源程序语法结构是否正确的问题，从本章开始解决如何将正确的源程序翻译成为机器的目 标代码的问题。 在翻译过程中，即使词法和语法都没有错误，但是有可能语义有错误。严格的说，现在 是语义分析。只有语义正确才能进行翻译。 一、属性文法 （用以分析语义的文法） 1．属性 一个文法符号X ∈ （VN ∪VT ）的语义性质称为文法符号的语义属性，用以代表文法的 相关信息，简称属性。 变量的数据类型； 属性，常用以描述事物或人的特征、性质、品质等。 表达式的值； 属性的典型例子：如右图，这些都可以构成文法符号的属 存储器中变量的位置； 性。对编译程序使用的语法树的结点，可以用“类型”、“值” 程序的目标代码； 或“存储位置”来描述。 数的有效位数； 用记号 X.a 表示与文法符号 X 相关的属性 a 。（X.a 为文法 等等； 符号 X 的a 属性） 同一个文法符号可以有多个属性。例如：变量有数据类型、存储类型、值等属性。 2 ．属性文法 （1）语义规则 对于文法的每个产生式所配备的一组属性的计算规则 （就是计算的式子），称为语义规 则。 （2 ）属性文法 对于某个上下文无关文法，当把每个文法符号联系于一组属性，且让该文法的产生式 附以语义规则时，称该上下文无关文法为属性文法。也就是将上下文无关文法中的产生式， 附着以（配以）一组与之对应的属性计算规则，两者合成最终构成了属性文法。 属性文法是对上下文无关文法的扩充：是把上下文无关语言同上下文相关的语言语义 信息相结合的形式定义。因而是语义分析形式定义的有效手段，即使代码优化与目标代码生 成也可以用属性文法来形式化地描述。 例 1：简单表达式求值的属性文法——语义描述。 产生式规则 语义规则 文法有若干个产生式，其中第一个符号 L 是文法 L En 的识别符号（最终要归约到此），n 表示行结束符 (0) → pr E int( . ) val （类似C 语言中的‘\n ’），产生式 的语义 L E → E E T n → + (1) E . : 1 E . T . + 规则是一个过程或函数，不是式子，表示打印 E E T → val 1 val val 的属性值val 。可以理解 L 的属性为“空”或“虚”。 (2) E . : T . (3) T T* F → 1 val val 在文法产生式中，为了将左边 E 和右边的 E 虚分 T. : T. * F. T F → val val val 开，加上了下标。为了给这些产生式配上语义规则， (4)