基于抽象机的操作语义的定义过程 状态结构(形式定义) 栈(保存中间计算结果) 语句控制区 表达式控制区 静态环境区 动态环境去 堆区(保存中断现场) ●初始状态和终止状态 ●状态转换规则 针对每个语法结构给出执行过程 状态到状态的映射 2021/2/52021/2/5 23 ⚫ 状态结构（形式定义） – 栈（保存中间计算结果） – 语句控制区 – 表达式控制区 – 静态环境区 – 动态环境去 – 堆区（保存中断现场） ⚫ 初始状态和终止状态 ⚫ 状态转换规则 – 针对每个语法结构给出执行过程 – 状态到状态的映射 基于抽象机的操作语义的定义过程