一个判断决定性的重要手段是莱斯定理(Rice's Theorem)。 定义/决定性问题 编辑 决定性问题指的是在一个数量为无限大的输入集合中，可产出任何是或非解答的问题之集合。
基于2204个网页-相关网页
莱斯定理
Rice's Theorem
以上为机器翻译结果，长、整句建议使用 人工翻译 。
莱斯定理（Rice's theorem）是可计算性理论中的一条定理，由亨利·戈登·莱斯于1953年提出。
详细内容
应用推荐
模块上移
模块下移
不移动