【计】 抽象机

当一个符合标准的实现执行一个完备的程序时，其产生的可观察行为应该与该实现的抽象机器对应实例依据同一程序和同一输出产生的可能执行序列之一相同。

对于一个已知程序和已知数据，虚拟机器的实例将因其非确定方面产生不只一个可能的执行序列。

本标准将虚拟机器的其他一些方面和操作描述为未指明的（如函数参数的求值顺序）。

这些就形成了虚拟机器的实现参数。

abstract concept

informative abstract

abstract data type【计】

abstract space

abstract intelligence

abstract names

abstract code

abstract book【会计】