语义的描述 语义形式化方法: 1.操作语义 2.指称语义 3.公理语义 4.代数语义 语义的描述 语义形式化方法： 1. 操作语义 2. 指称语义 3. 公理语义 4. 代数语义