形式语义学Formal Semantics of Programming Languages 2011.09内容回顾n 形式语义学n 什么是形式语义学？n 形式语义学的分类；n 程序设计语言的基本概念n 语法和语义n 不同程序设计范例及其特点n 命令式语言不同结构的抽象语法定义2022/10/17 2形式语义学的分类n 从不同角度研究程序的含义n 操作语义：用机器模型语言来解释语言语义。即设定一个抽象机，用语言成分在该机器上的执行来解释语言成分的含义。（实现 或 执行）n 指称语义：采用形式系统方法，用相应的数学对象对一个语言的语义进行注释。考虑每个语言成分的执行效果(数学对象-指称)；（效果）n 公理语义：把程序设计语言视为一个数学对象，建立它的公理系统，在此基础上对程序进行推理验证。从而使程序设计语言具有坚实的逻辑基础。（逻辑）n 代数语义：采用代数的方法进行语义注释的方法。主要基于范畴论、类别代数理论、抽象数据类型；（数据和操作行为）2022/10/17 3程序设计语言的基本概念n 词法(lexeme)n 定义语言所允许的单词的种类及其构成(spelling)n 标识符，保留字，
