判定器 在可计算性理论中总是停机的机器也叫做判定器Sipser年或全图灵机Kozen年是对所有输入总是停机的图灵机 因为它总是停机这个机器有能力判定给定字符串是否是一个形式语言的成员可由这种机器判定的语言类精确的是递归语言的集合但是由于停机问题判定任意图灵机是否在任意输入上停机的问题自身是不可判定的判定问题參見哥德爾不完備定理