來源：互聯(lián)網(wǎng)
萊斯定理（Rice's theorem）是可計算性理論中的一條定理，由亨利·戈登·萊斯于1953年提出。
定理
是所有圖靈可計算函數(shù)構(gòu)成的集合，是 的一個非空真子集，即： 。將圖靈機以某種方式編碼，使得每一個 都唯一對應(yīng)一個圖靈機。
則：集合 計算的函數(shù)在集合 中 是不可判定的。
特性
遞歸可枚舉語言的所有非平凡（nontrival）性質(zhì)都是不可判定的。“非平凡”是指，僅被部分遞歸可枚舉語言具有的特性。
參考資料 >