RodRego — a register machine
寄存器机(register machine)是一种类似于图灵机一样的抽象机器,是计算机模型的一种,他和其他的抽象机一样都是图灵等价的。
RodRego是哲学家丹尼尔·丹尼特和他的朋友制作的一款寄存器机模拟软件。通过编写简单的命令在RodRego进行计算,你可以了解计算机是如何进行计算的。
寄存器机器主页: http://sites.tufts.edu/rodrego/
寄存器在线版本:http://proto.atech.tufts.edu/RodRego/
教程
通过上图我们可以看到,界面的左侧是RodRego的寄存器部分。图灵机的特点是在一条无限长的磁带上运动,而寄存器机的原理是通过对理论上无限个的寄存器进行简单的+1
和-1
运算。左侧寄存器的红点个数表示寄存器存储的数值,你可以通过+
和-
调整寄存器的初始值。
右侧是输入指令的地方,RodRego的指令只有3条:INC
,EDB
和END
。