第六章 语法制导翻译与属性文法
重点:语法制导翻译的基本思想,语法制导定义, 翻译模式,自顶向下翻译,自底向上翻译。
难点:属性的意义,对综合属性、继承属性和固有属性的理解,属性计算, 怎么通过属性来表达翻译。
1.静态检查:
n
类型检查:操作数和操作符的
类型是否相容
;
n
控制流检查:控制流转向目标
地址是否合法
;
n
惟一性检查:对象是否被
重复定义
;
n
关联名检查:同一名字多次特定出现
是否一致
。
2.语法制导定义:
(适宜在进行规约)
3.语法制导翻译:
(适宜在进行推导时完成)