在数理逻辑和理论计算机科学中,寄存器机(英语:Register machine),又译为暂存器机,是以类似于使用图灵机的方式使用的一类抽象机器。所有模型都是图灵等价的。
寄存器机得名于它有一个或多个“寄存器”——替代了图灵机的磁带和磁头,这个模型使用了多个唯一寻址的寄存器,每个都持有一个单一正整数。
在文献中至少可找到4个子类,下面按最原始到最类似计算机的次序列出:
任何正确定义的寄存器机都是图灵等价的。计算速度严重倚赖于模型细节。
寄存器机构成如下:
在数理逻辑和理论计算机科学中,寄存器机(英语:Register machine),又译为暂存器机,是以类似于使用图灵机的方式使用的一类抽象机器。所有模型都是图灵等价的。
寄存器机得名于它有一个或多个“寄存器”——替代了图灵机的磁带和磁头,这个模型使用了多个唯一寻址的寄存器,每个都持有一个单一正整数。
在文献中至少可找到4个子类,下面按最原始到最类似计算机的次序列出:
任何正确定义的寄存器机都是图灵等价的。计算速度严重倚赖于模型细节。
寄存器机构成如下: