北京航空航天大学《编译原理》第9章 语法制导翻译技术.pdfVIP

第九章 语法制导翻译技术 • 翻译文法(TG)和语法制导翻译 • 属性翻译文法(ATG) • 自顶向下语法制导翻译 • 翻译文法的自顶向下语法制导翻译 • 属性文法的自顶向下语法制导翻译 • 自底向上的语法制导翻译（自学） 北京航空航天大学计算机学院 11 9.0 本章导言 词法分析，语法分析：解决单词和语言成分的识别 及词法和语法结构的检查。语法结构可形式化地用 一组产生式来描述。给定一组产生式，能够很容易 地将其分析器构造出来。 本章要介绍的是语义分析和代码生成技术。 程序语言的语义形式化描述目前有三种基本描述方 法，即： • 操作语义 • 指称语义 • 公理语义 北京航空航天大学计算机学院