rice定理的证明

最新推荐文章于 2021-07-13 16:15:31 发布
最新推荐文章于 2021-07-13 16:15:31 发布
阅读量1.4k 收藏 2
点赞数
分类专栏： Theory of computation
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/assiduousknight/article/details/18271951
版权
Rice定理表明大多数关于图灵机的属性是不可判定的。文章通过解释和构造图灵机来展示Rice定理的证明过程，指出如果L是可判定的，那么可以通过构造新的图灵机进行判定，这与判定正则语言的过程相似。证明揭示了图灵机语言的复杂性和不可判定性。
摘要由CSDN通过智能技术生成

Rice's Theorem: Most of everything is undecidable.

Rice定理：大多数事情是不可判定的。

L = { <M>| M is a TM for which ‘something’ holds }

  直观: L是有某性质的一切图灵机编码（如源程序）的集合

Rice定理定理中的something

最低0.47元/天 解锁文章
Savitch
关注
专栏目录
计算理论中的莱斯定理（Rice's Theorem）——证明与应用
白马负金羁
12-04 2万+
计算理论中，可判定性时研究算法局限的一个重要方面，由这方面的理论我们知道，算法不是万能的。确实存在一些算法上不可解的问题。本文给出一个在探讨不可判定性时非常有用的结论——莱斯定理（Rice's Theorem），或称赖斯定理。
细胞自动机一般极限集的Rice定理_Rice's theorem for generic limit sets of cellu
02-08
**Rice定理在细胞自动机的一般极限集中的应用** 细胞自动机（Cellular Automata, CA）是离散动态系统的一种形式，由局部规则定义，最早由约翰·冯·诺依曼在20世纪40年代提出。在有限字母表A上，全局规则通过同步...
【计算理论】不可判定性 ( 停机问题 | 图灵机语言是否空集问题 | 图灵机是否等价问题 | 是否存在自动机接受图灵机语言问题 | 莱斯定理 Rice‘s Theorem )
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
12-10 5205
一、不可判定性 ( Undecidability )、 二、"停机问题" 不可判定、 三、"图灵机语言是否空集问题" 不可判定、 四、"图灵机是否等价问题" 不可判定、 五、"是否存在自动机接受图灵机语言问题" 不可判定、 六、莱斯定理 ( Rice's Theorem )
《软件分析》课程笔记(一)
Cross_Entropy的博客
07-13 668
熊英飞老师《软件分析》课程笔记 视频链接：https://liveclass.org.cn/cloudCourse/#/courseDetail/8mI06L2eRqk8GcsW
斯托克斯定理（Stokes' theorem）
10-24 1万+
1. 几种形式
Rice概率密度函数
05-28
搜了好多资源，发现都不全，总结了一下，自己写了一份。包括对不同信噪比下的rice概率密度函数绘图进行仿真，并积分后得到随自变量变化的概率。
ITMc.zip_ITM_Longley Rice
07-15
ITMc.zip 文件包含的是一个名为 "ITM" 的软件，该软件基于 Longley-Rice 模型，专门用于计算无线通信中的传输损耗。这个模型在电信工程领域中被广泛使用，尤其是在规划和优化无线网络覆盖时。以下是关于 Longley-...
Longley-Rice（ITM）模型软件_ITM_Longley-Rice
07-14
Longley-Rice（ITM）模型是无线通信领域中一种广泛应用的传播损耗预测模型，它由Longley和Rice在1970年代初期提出，主要用于估算无线电波在各种复杂地形和环境条件下的传播损耗。这个模型对于规划、设计和优化无线...
Rice seed defects dataset.rar
07-24
This data set contains seven kinds of rice seed defects: complete grains, mechanical damage grains, germination grains, unfilled grains, moldy grains, hulling grains, and immature grains.
从莱斯定理出发看程序分析中的sound与complete
3A的奇奇怪怪圣地
09-15 2468
莱斯定理是计算理论中非常重要的结论，从它出发也可以明了的分析出针对图灵完备语言进行静态分析的理论上限。莱斯定理的定义是这样的： Let S be a set of languages that is nontrivial, meaning there exists a Turing machine that recognizes a language in S there exists a T...
图灵机停机问题的不可判定性
热门推荐
Zyj061的专栏
04-09 1万+
Turing Machine Halting Problem停机问题：指判断任意一个程序是否能在有限的时间之内结束运行的问题。图灵机停机问题是不可判定的，意思即是不存在一个图灵机能够判定任意图灵机对于任意输入是否停机。 为了证明这个问题的不可判定性，我们将基于莱斯定理(Rice’s Theorem)将其规约成另外的问题来判定某个图灵机是否能在给定的输入上，在有限步数内给出确定的是或者不是的答案。
关于co-NP的理解
01-04 4921
L是一个co-NP语言，这个暗示有一个多项式时间的验证机 C(; )   （1）对任何一个不属于L字符串s，有一个证书t（在多项式长度输入）C(s; t)拒绝  （2）对任何一个属于L字符串s，这里没有一个证书t说拒绝。 从而这里有一个问题，当对任何一个属于L字符串s，这个分支，我们没有办法在多项式时间进行验证。 引出了co-NP问题和NP问题是否相等。
库克列文定理的证明
01-06 2366
这里只给出证明的思路 首先我们不可能找到所有的np问题，所以不可能实现定义中，所有np问题向SAT问题的多项式规约。 因此，cook 和levin找到了一个从np问题定义的方式来解决SAT完全问题 具体思路为 就是这样。我们现在要在一台非确定图灵机的模拟接受问题。 这时，在每一个图灵机的分支上，形成了一个所谓的画面。这里的设计以后再讲。 反正就是这么一个
如果P = NP 则 NP = co-NP.
01-04 1687
证明： P = co-P 如果P = NP 这时co-NP = co-P = P。 因此得证。 这个公式有个非常好的推论 如果NP ！= co-NP then P ！= NP.（逆否命题） 因此，我们可以通过NP ！= co-NP得到P ！= NP。
图灵可识别
01-12 1566
假设有语言A，如果能设计出一台图灵机M，对于任意字符串ω，如果ω∈A，那么M读取ω后会进入接受状态，那么A是一个图灵可识别语言。注意这个定义对于ω不属于A的情况没有做出限制，所以M读取到不属于A的ω，那么它有可能拒绝，也有可能循环。 其中课本有这么一句话，有时候，很难区分机器是进入了循环还是消耗长时间的运行。 这就产生了一个问题：那么进入了循环时，我们怎么知道是否接受呢？ 注意：这里考虑问题
萨维奇（Savitch）定理证明
01-02 1292
递归函数bool CanYield(c1,c2,t) if(t= =1 && ( c1= =c2 || c1→c2只需一步)) return true; if(t>1) { for(每个格局cm) 　{　bool r1=CanYield(c1,cm,ceil(t/2)); 　　bool r2=CanYield(cm,c2,ceil(t/2)); 　　if(r1 && r2) retur
P ⊆ co-NP的原因
01-04 1104
因为P在运算下封闭，如果一个语言在P中，这时他的补语言也在P中。（简单证明：通过反转接受和拒绝状态就可以实现） 一个语言在co-NP当且仅当他的补语言在NP。 所以，P的任何补语言在NP，根据定义，P的这个语言在co-NP中。所以P ⊆ co-NP
令问题集合 L = {⟨M⟩|M在所有输入上均停机}。 (1) 利用 Rice 定理证明 L 是不可判定的; (2) 证明 L 是非递归可枚举的(提示:利用归约技术); (3) 证明 L 是非递归可枚举的(提示:利用归约技术)。
最新发布
06-08
好的，我会依次回答你的问题。 首先，我知道你的第一个问题是关于 L = {⟨M⟩|M在所有输入上均停机} 的。现在我来回答你的问题： (1) 利用 Rice 定理证明 L 是不可判定的： 根据 Rice 定理，对于任何非平凡的性质 P，如果它在某个图灵机上是可判定的，那么在所有图灵机上也是可判定的。 现在我们考虑性质 P，即“图灵机 M 在所有输入上均停机”。显然，这是一个非平凡的性质，因为存在一些图灵机可以停机，而另一些则不行。 接下来，我们假设存在一个图灵机 H 可以判定语言 L = {⟨M⟩|M在所有输入上均停机}。那么我们可以构造另一个图灵机 D： D = “对于任意输入 x： 1. 如果 x ≠ ⟨M⟩，那么 D 拒绝。 2. 如果 x = ⟨M⟩，那么 D 模拟 H 对 M 进行判定： a. 如果 H 接受，那么 D 进入死循环。 b. 如果 H 拒绝，那么 D 拒绝。” 现在让我们来分析 D 的行为。如果 M 不是语言 L 中的图灵机，那么 D 会直接拒绝，这是显然的。如果 M 在所有输入上均停机，那么根据定义，⟨M⟩ ∈ L。因此，D 将模拟 H 对 M 进行判定。如果 H 接受，那么 D 将进入死循环，否则 D 将拒绝。 现在假设我们使用 D 来判定 D 自身是否在语言 L 中。我们将 D 的描述作为输入 x 传递给 D。根据上面的分析，如果 D 在所有输入上均停机，那么⟨D⟩ ∈ L。如果 D 不是在所有输入上均停机，那么⟨D⟩ ∉ L。因此，我们可以使用 D 来判定 L，这与 Rice 定理的假设相矛盾。 因此，我们可以得出结论：L = {⟨M⟩|M在所有输入上均停机} 是不可判定的。 (2) 证明 L 是非递归可枚举的： 我们可以使用反证法来证明 L 是非递归可枚举的。假设 L 是递归可枚举的，那么存在一个图灵机 M 可以枚举出 L 中的所有元素。我们可以构造另一个图灵机 D： D = “对于任意输入 x： 1. 如果 x ≠ ⟨M'⟩，那么 D 拒绝。 2. 如果 x = ⟨M'⟩，那么 D 枚举 L 中的所有元素，并且对于每个元素 ⟨M⟩，D 模拟 M 对自身进行运行： a. 如果 M 停机并且接受，那么 D 接受。 b. 如果 M 停机并且拒绝，那么 D 继续枚举 L 中的下一个元素。 c. 如果 M 不停机，那么 D 进入死循环。” 现在让我们来分析 D 的行为。如果输入 x 不是 ⟨M'⟩，那么 D 将拒绝。如果输入 x 是 ⟨M'⟩，那么 D 将枚举 L 中的所有元素 ⟨M⟩。对于每个 ⟨M⟩，D 将模拟 M 运行。如果 M 停机并且接受，那么 D 将接受并停机。如果 M 停机并且拒绝，那么 D 将继续枚举 L 中的下一个元素。如果 M 不停机，那么 D 将进入死循环。 现在假设我们使用 D 来判定 D 自身是否在语言 L 中。我们将 D 的描述作为输入 x 传递给 D。根据上面的分析，如果 D 在所有输入上均停机并且接受，那么⟨D⟩ ∈ L。如果 D 在所有输入上均停机并且拒绝，那么⟨D⟩ ∉ L。如果 D 不停机，那么 D 将进入死循环。 我们可以看到，如果 D 在所有输入上均停机并且接受，那么⟨D⟩ ∈ L。因此，我们可以使用 D 来判定 L，这与 L 是不可判定的相矛盾。因此，我们可以得出结论：L 是非递归可枚举的。 (3) 证明 L 是非递归可枚举的： 我们可以使用另外一种方法来证明 L 是非递归可枚举的。我们可以将已知的非递归可枚举语言 A 归约到 L，从而证明 L 是非递归可枚举的。 假设 A 是一个非递归可枚举语言，且其对应的图灵机是 M。我们可以构造一个图灵机 D： D = “对于任意输入 x： 1. 如果 x ≠ ⟨M'⟩，那么 D 拒绝。 2. 如果 x = ⟨M'⟩，那么 D 模拟 M 对自身进行运行： a. 如果 M 停机并且接受，那么 D 进入死循环。 b. 如果 M 停机并且拒绝，那么 D 接受。 c. 如果 M 不停机，那么 D 进入死循环。” 现在让我们来分析 D 的行为。如果输入 x 不是 ⟨M'⟩，那么 D 将拒绝。如果输入 x 是 ⟨M'⟩，那么 D 将模拟 M 运行。如果 M 停机并且接受，那么 D 将进入死循环。因此，D 不会停机并且接受任何输入。如果 M 停机并且拒绝，那么 D 将接受。因此，如果⟨M⟩ ∉ L，那么⟨D⟩ ∈ L。如果⟨M⟩ ∈ L，那么 M 在所有输入上均停机。因此，D 将进入死循环，并且不会接受任何输入。因此，如果⟨M⟩ ∈ L，那么⟨D⟩ ∉ L。 因此，我们可以看到，如果 A 是非递归可枚举的，那么我们可以使用归约技术将其归约到 L。因此，L 也是非递归可枚举的。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值