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

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

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

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

1.静态检查:

n 类型检查：操作数和操作符的 类型是否相容 ；

n 控制流检查：控制流转向目标 地址是否合法 ；

n 惟一性检查：对象是否被 重复定义 ；

n 关联名检查：同一名字多次特定出现 是否一致 。

2.语法制导定义：

（适宜在进行规约）

3.语法制导翻译：

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