[计算机]compiler6_语义分析.ppt

第六章 语法制导翻译 语法制导翻译 6.1 语法制导定义 6.1.1 语法制导定义的形式 6.1.2 综合属性 6.1.3 继承属性 6.1.4 依赖图 6.1.5 计算顺序 6.2 语法树（syntax tree）的构造 6.2.1 语法树 6.3 S-属性定义及其自底向上的计算 6.4 L-属性定义 6.5 自顶向下的翻译 6.1 语法制导定义(Syntax-directed definitions) 6.2 语法树（syntax tree）的构造 6.3 S-属性定义及其自底向上的计算 输入文法和翻译文法的概念 输入文法：未插入动作符号时的文法 由输入文法可以通过推导产生输入序列 翻译文法：插入动作符号的文法 由翻译文法可以通过推导产生活动序列 6.5 自顶向下的翻译 语法制导翻译 6.1 语法制导定义 6.2 语法树（syntax tree）的构造 6.3 S-属性定义及其自底向上的计算 6.4 L-属性定义 6.5 自顶向下的翻译 参考 例：已知语法和翻译模式如下，验证(i+i)*i的正确性。 可以用输入文法推出 E?T ?T*F ?F*F ? (E)*F?(E+F)*F ?(i+i)*i 用相应的翻译文法推导可得 E?T ?T*F＠* ?F*F＠* ? (E)*F＠* ?(E+F＠+)*F ＠* ?(i ＠i+i ＠i＠+