操作语义学 三种方法 解释器方法 抽象机 归约方法(归约系统) ●从实现的角度,通过程序的执行过程来定义 程序设计语言的语义; 2021/2/52021/2/5 20 操作语义学 ⚫ 三种方法 – 解释器方法 – 抽象机 – 归约方法（归约系统） ⚫ 从实现的角度，通过程序的执行过程来定义 程序设计语言的语义；