概念ASM / Abstract State Machine
抽象状态机
一种用于精确刻画算法与计算系统的高层规格说明形式化方法，由 Yuri Gurevich 提出，基于模型论与状态转移系统
时间轴 (近 90 天)
10月20日
Gurevich 将抽象状态机概括为三个公设，其中第三个公设（有界探索公设）的成型花了约 15 年。
待验证50%
10月20日
Gurevich 在早期关于抽象状态机的论文中写道，“非确定性算法”是自相矛盾的说法。
待验证50%
一种用于精确刻画算法与计算系统的高层规格说明形式化方法，由 Yuri Gurevich 提出，基于模型论与状态转移系统
Gurevich 将抽象状态机概括为三个公设，其中第三个公设（有界探索公设）的成型花了约 15 年。
Gurevich 在早期关于抽象状态机的论文中写道，“非确定性算法”是自相矛盾的说法。