莱斯定理
数学领域名词
莱斯定理（Rice's theorem）是可计算性理论中的一条定理，由亨利·戈登·莱斯于1953年提出。
定理
是所有图灵可计算函数构成的集合， 是 的一个非空真子集，即： 。将图灵机以某种方式编码，使得每一个 都唯一对应一个图灵机 。
则：集合 计算的函数在集合 中 是不可判定的。
特性
递归可枚举语言的所有非平凡（nontrival）性质都是不可判定的。“非平凡”是指，仅被部分递归可枚举语言具有的特性。
参考资料
最新修订时间：2022-08-26 11:17
条目作者
小编
目录
概述
定理
特性
参考资料

Copyright©2024 闽ICP备2024072939号-1