在可计算性理论中，总是停机的机器也叫做判定器（，1996年）或全图灵机（，1997年）是对所有输入总是停机的图灵机。因为它总是停机，这个机器有能力判定给定字符串是否是一个形式语言的成员。可由这种机器判定的语言类精确的是递归语言的集合。但是由于停机问题，判定任意图灵机是否在任意输入上停机的问题自身是不可判定的判定问题(参见哥德尔不完备定理)。
全图灵机可计算的函数.在实践中，很多有价值的函数都是用总是停机的机器可计算的。通过限制它的流控制能力就可以强制机器对所有输入都停机，使得没