寄存器機

在數理邏輯和理論計算機科學中 ， 寄存器機 （ Register machine ） ， 又譯爲暫存器機 ， 是以類似於使用圖靈機的方式使用的一類抽象機器 。 所有模型都是圖靈等價的 。 寄存器機得名於它有一個或多個 “ 寄存器 ” — — 替代了圖靈機的磁帶和磁頭 ， 這個模型使用了多個唯一尋址的寄存器 ， 每個都持有一個單一正整數 。 在文獻中至少可找到4個子類 ， 下面按最原始到最類似計算機的次序列出 ： 計數器機 — — 最原始和精簡的模型 。 缺乏間接尋址 。 指令在按照哈佛結構的有限狀態機內 。 指針機 — — 計數器機和RAM模型的混合 。 比這兩個模型更少共通更多抽象 。 指令在按照哈佛結構的有限狀態機內 。 隨機存取機 （ RAM ） — — 帶有間接尋址和通常擴充的指令集 。 指令在按照哈佛結構的有限狀態機內 。 隨機存取存儲程序機 （ RASP ） — — 帶有指令在其寄存器中的RAM ， 類似於通用圖靈機 ； 因此它是馮 · 諾伊曼結構的一個例子 。 但是不同於計算機的是這個模型是帶有有效無限個寄存器的 “ 理想 ” 機器 。 不像計算機甚至RISC計算機 ， 指令集在指令數目上是非常精簡的 。 任何正確定義的寄存器機都是圖靈等價的 。 計算速度嚴重倚賴於模型細節 。