抽象机器 - The mini wiki

中间语言，在计算机科学中，是指一种应用于抽象机器的程式语言，它设计的目的，是用来帮助我们分析计算机程序。这个术语源自于编译器，在编译器将源代码编译为目的码的过程中，会先将源代码转换为一个或多个的中间表述，以方便编译器进行最佳化，并产生出目的机器的机器语言。通常，中间语言的设计与一般的机器语言有三个不同之处：

在理论计算机科学中，随机存取机是一种抽象机器，属于寄存器机的一种。近似于计数器机，但是它拥有能对暂存器间接定址的能力。随机存取机是图灵机的一种，图灵完备性于通用图灵机。随机存取机属于哈佛架构，与电子计算机的特征近似；如果修改为冯纽曼架构，则成为随机存取储存程式机。

在理论计算机科学中，随机存取储存程式机是一种抽象机器，属于寄存器机，可使用于算法开发与计算复杂性理论中。随机存取储存程式机类似于随机存取机，这两者都是一种图灵机，图灵完备性于通用图灵机。这两者主要的区别是，随机存取机是哈佛架构下的一个实例，而随机存取储存程式机则属于冯·诺伊曼结构。

在理论计算机科学中，随机存取机是一种抽象机器，属于寄存器机的一种。近似于计数器机，但是它拥有能对暂存器间接定址的能力。随机存取机是图灵机的一种，图灵完备性于通用图灵机。随机存取机属于哈佛架构，与电子计算机的特征近似；如果修改为冯纽曼架构，则成为随机存取储存程式机。

在理论计算机科学中，随机存取储存程式机是一种抽象机器，属于寄存器机，可使用于算法开发与计算复杂性理论中。随机存取储存程式机类似于随机存取机，这两者都是一种图灵机，图灵完备性于通用图灵机。这两者主要的区别是，随机存取机是哈佛架构下的一个实例，而随机存取储存程式机则属于冯·诺伊曼结构。

一个量子图灵机，或者通用量子计算机，是一个表示量子电脑能力的抽象机器。量子图灵机使用一个简单的模型来展示量子计算的能力。

在计算复杂度理论中，计算时间是种计算抽象机器必须在某些特定计算中花费的步骤数。任何抽象机器花费的计算时间都是一种用以解决计算问题的计算资源。很多重要的复杂度类，都是依照在某些抽象机器上花费特定量级的计算时间而定义的。这些时间复杂度类别共想许多特征，但它们的相互关系以及复杂度类对其他计算资源的影响仍未充份明了。

计数器机是一种抽象机器，作为用于形式逻辑和理论计算机科学中的计算模型，计数器机是寄存器机模型的最原始的子类。它只由如下组成：一序列的一个或多个命名的“无界”寄存器，假如到或减去自寄存器的叫做“计数器”的物件，让计算机服从的算术和控制指令的列表。

在理论计算机科学中，自动机理论是对抽象机器和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。