入上停机的问题自身是不可判定的判定问题(参见哥德尔不完备定理)。
全图灵机可计算的函数.在实践中，很多有价值的函数都是用总是停机的机器可计算的。通过限制它的流控制能力就可以强制机器对所有输入都停机，使得没有程序可以导致机器进入无穷回圈。作为平凡的例子，实现有限判定树的机器将总是停机。不要求机器完全免除循环能力来保证停机。如果我们限制循环为有可预测的有限大小，我们可以表达所有原始递归函数(Meyer and Ritchie, 1967)。Brainerd 和 Landweber