判定器

在可計算性理論中 ， 總是停機的機器也叫做判定器 （ Sipser ， 1996年 ） 或全圖靈機 （ Kozen ， 1997年 ） 是對所有輸入總是停機的圖靈機 。 因爲它總是停機 ， 這個機器有能力判定給定字符串是否是一個形式語言的成員 。 可由這種機器判定的語言類精確的是遞歸語言的集合 。 但是由於停機問題 ， 判定任意圖靈機是否在任意輸入上停機的問題自身是不可判定的判定問題 。