●主要思想: 针对计算机语言,定义一个抽象机来解释执行将该语言的 程序; ●抽象机的定义包括两个部分 抽象机组成的抽象定义一状态结构 执行机制的形式定义-状态转换规则 针对如下语言结构给出抽象机定义 表达式 语句 输入输出 声明 Block 过程/函数 2021/2/52021/2/5 22 ⚫ 主要思想： – 针对计算机语言，定义一个抽象机来解释执行将该语言的 程序； ⚫ 抽象机的定义包括两个部分： – 抽象机组成的抽象定义 – 状态结构 – 执行机制的形式定义-- 状态转换规则 ⚫ 针对如下语言结构给出抽象机定义 – 表达式 – 语句 – 输入输出 – 声明 – Block – 过程/函数