SIMP-abstract-machine：抽象机，用于SIMP（简单命令式语言）的形式语义

SIMP抽象机 在2020/21年间，我在伦敦国王学院（King's College London）担任第二年模块5CCS2PLD编程语言范例的助教。 PLD处理形式语义和编程语言验证。 为了探究语义，模块教科书（《 ）定义了一种教育语言SIMP（简单命令式语言），并为其提供了抽象语法和抽象机器语义。 该项目是SIMP抽象机的Java实现，用于向学生传授SIMP程序的形式化推理。 抽象语法 以下是SIMP抽象语法的简要概述。 该语法在命令包，整数包和布尔包中表示为类和枚举。 抽象机 抽象机解释SIMP程序的抽象语法树，并遵循过渡系统来评估程序。 配置 抽象机定义为元组（c，r，m），称为配置，其中 c是用于存储程序的控制堆栈，并确定要遵循的转换 r是存储中间结果的辅助堆栈（也称为结果堆栈） m是内存，也称为存储，由将每个字符串地址映射到内存的部分函数建模。 内存用于存储变量，并作为程