主題
Search

暫存器機


RegisterMachine

一種理想化的計算機器,由固定的資料暫存器集合和一組操作它們的指令組成。暫存器機也稱為計數器機和程式機。早期的研究者包括 Shepherdson 和 Sturgis (1963) 以及 Minsky (1961)。類似的結構也是庫爾特·哥德爾 1931 年關於在算術中表示邏輯的工作的一部分 (Wolfram 2002, p. 896)。

Wolfram (2002) 考慮了具有兩個暫存器和兩個操作的機器:“增量”和“減量跳轉”。上面的圖示展示了一個五指令程式的 30 個步驟,該程式生成非重複輸出 (Wolfram 2002, p. 99)。


另請參閱

圖靈機

使用 探索

參考文獻

Minsky, M. L. "Post 的 'Tag' 問題的遞迴不可解性以及圖靈機理論中的其他主題。" Ann. Math. 74, 437-455, 1961.Shepherdson, J. C. 和 Sturgis, H. E. "遞迴函式的可計算性。" J. Assoc. Comput. Mach. 10, 217-255, 1963.Wolfram, S. 一種新的科學。 Champaign, IL: Wolfram Media, pp. 97-102 和 896, 2002.

在 上引用

暫存器機

引用為

Weisstein, Eric W. "暫存器機。" 來自 ——Wolfram 網路資源。 https://mathworld.tw/RegisterMachine.html

主題分類