)。Brainerd 和 Landweber (1974) 的玩具编程语言 PL- {GOTO} 就是这种机器的一个例子。我们可以进一步的定义能确保更复杂的函数总是停机的一个编程语言。例如，不是原始递归函数的阿克曼函数，但它是通过带有在它的参数上的简约排序的项重写系统可计算的全可计算函数(Ohlebusch, 2002, pp.67)。
与偏图灵机的关系.一般的图灵机可以计算偏函数。有关于偏图灵机和全图灵机之间关系的两个问题:对这两个问题的答案都是否定的。下列定义证明了对