萊斯定理

萊斯定理 （ Rice's theorem ） 是可計算性理論中的一條定理 ， 由亨利 · 戈登 · 萊斯於1953年提出 。 定理指出 ， 遞歸可枚舉語言的所有非平凡 （ nontrival ） 性質都是不可判定的 。 “ 非平凡 ” 是指 ， 僅被部分遞歸可枚舉語言具有的特性 。