机, Minsky 机, 程序机, 算盘机, Lambek 机, 后继机 等等。详情参见计数器机模型。
形式定义.计数器机构成如下:
两计数器的机器是图灵等价的.可以通过只有两个计数器的机器模拟任何图灵机。下面用三个步骤概述其证明。首先，图灵机可以用装备了两个栈的有限状态机(FSM)来模拟。接着，两个栈可以用四个计数器模拟。最后，四个计数器可以用两个计数器模拟。
第 1 步: 图灵机可以用两个栈来模拟.图灵机由一个 FSM 和一