概述 语义形式化语义建模 文法模型--属性文法 命令式或操作式模型---操作语义学 应用式模型--指称语义学 公理式模型一-公理语义学概述 语义形式化 语义建模 • 文法模型---- 属性文法 • 命令式或操作式模型 ----- 操作语义学 • 应用式模型-----指称语义学 • 公理式模型-----公理语义学