形式语义学

形式语义学

根据研究形式语言的语义方法的不同，形式语义学大致分成4个分支：

1.指称语义学：

采用形式系统方法，用相应的数学对象（例如 set, function 等）对一个指定形式语言的语义进行注释的学问。

2. 代数语义学：

用代数方法对形式语言系统进行语义注释的语义学。

3. 操作语义学：

用机器模型语言来解释语言语义，语义学除定义“做什么”之外，主要定义“怎么做” 。

一般来说它与编译程序有直接关系。操作属性文法属于操作语义学范畴。

4. 公理语义学：

把程序设计语言视为一个数学对象，建立它的公理系统，从而使程序设计语言有坚实的逻辑基础。