机器可计算的。通过限制它的流控制能力就可以强制机器对所有输入都停机，使得没有程序可以导致机器进入无穷回圈。作为平凡的例子，实现有限判定树的机器将总是停机。不要求机器完全免除循环能力来保证停机。如果我们限制循环为有可预测的有限大小，我们可以表达所有原始递归函数(Meyer and Ritchie, 1967)。Brainerd 和 Landweber (1974) 的玩具编程语言 PL- {GOTO} 就是这种机器的一个例子。我们可以进一步的定义能确保更复杂的函数总是停机的一个编程语言。例如，不是原始