主题
Search

寄存器机

DOWNLOAD Mathematica Notebook下载 Wolfram Notebook
RegisterMachine

一种理想化的计算机器，由固定的数据寄存器集合和一组操作它们的指令组成。寄存器机也称为计数器机和程序机。早期的研究者包括 Shepherdson 和 Sturgis (1963) 以及 Minsky (1961)。类似的结构也是库尔特·哥德尔 1931 年关于在算术中表示逻辑的工作的一部分 (Wolfram 2002, p. 896)。

Wolfram (2002) 考虑了具有两个寄存器和两个操作的机器：“增量”和“减量跳转”。上面的图示展示了一个五指令程序的 30 个步骤，该程序生成非重复输出 (Wolfram 2002, p. 99)。

另请参阅

图灵机

使用 Wolfram|Alpha 探索

参考文献

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.

在 Wolfram|Alpha 上引用

寄存器机

引用为

Weisstein, Eric W. "寄存器机。" 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/RegisterMachine.html

主题分类