3：无界μ算子的抽象机定义.Minsky (1967) p. 21 和 Boolos-Burgess-Jeffrey (2002) p. 60-61 都提供了μ算子的抽象机定义。下列示范跟从 Minsky 但不带有其怪癖。这个示范将使用密切关于皮亚诺公理和原始递归函数的"后继"计数器机模型。模型由（i）带有指令的表格和我们重命名为“指令寄存器”（IR）的所谓“状态寄存器”的有限状态自动机，（ii）每个都可以只包含一个单一自然数的一些寄存器，和（iii）在下列表格中描述的四个“命令”的指令集：给极小