第八章语法制导翻译精选.ppt

第八章语法制导翻译和中间代码生成 概述 语义处理 概述 语义形式化 语义建模 文法模型---- 属性文法 命令式或操作式模型 ----- 操作语义学 应用式模型-----指称语义学 公理式模型-----公理语义学 操作语义学 操作语义学，是形式语义学的一个分支。程序设计语言的实施是在具体的计算机系统中按照语言的语义编制语言的翻译程序，将语言中各个成分翻译成计算机系统中相应的一组操作。语言在计算机系统中的一种实施一旦完成，那么对这个计算机系统而言，语言各个成分的含义也就完全确定了。因此语言的实施也可用来定义语言的语义，即将语言成分所对应的计算机系统的操作作为语言成分的语义，这种语义被称作操作语义。由于语言的语义应该是标准的，不应依附于一个特定的计算机和一种具体的实施，因此操作语义学是用解释执行程序的抽象的机器来定义语言的语义。 　指称语义学　（denotational semantics） 　　形式语义学的一个分支。人们用程序设计语言编制程序，命令计算机系统去加工数据。不同的计算机系统有不同的结构，因此对同一个命令的执行过程可以不同，但最终效果应该相同。指称语义学方法认为不应该将程序设计语言中各个成分的执行过程计入语言成分的语义中。语言成分的语义，应该是执行语言成分所要得到的最终效果。这是语言成分所要表达的含义，是语言成分本身所固有的，不因计