编译原理结构框架6语法制导翻译与属性文法

第六章 语法制导翻译与属性文法

重点：语法制导翻译的基本思想，语法制导定义，
翻译模式，自顶向下翻译，自底向上翻译。

难点：属性的意义，对综合属性、继承属性和固有属性的理解，属性计算，
怎么通过属性来表达翻译。

1.静态检查:

n类型检查：操作数和操作符的类型是否相容；
n控制流检查：控制流转向目标地址是否合法；
n惟一性检查：对象是否被重复定义；
n关联名检查：同一名字多次特定出现是否一致。

2.语法制导定义：

（适宜在进行规约）

3.语法制导翻译：

（适宜在进行推导时完成）