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‘s Theorem )
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
12-10 5267
一、不可判定性 ( Undecidability )、 二、"停机问题" 不可判定、 三、"图灵机语言是否空集问题" 不可判定、 四、"图灵机是否等价问题" 不可判定、 五、"是否存在自动机接受图灵机语言问题" 不可判定、 六、莱斯定理 ( Rice's Theorem )
《软件分析》课程笔记(一)
Cross_Entropy的博客
07-13 695
熊英飞老师《软件分析》课程笔记 视频链接：https://liveclass.org.cn/cloudCourse/#/courseDetail/8mI06L2eRqk8GcsW
从莱斯定理出发看程序分析中的sound与complete
3A的奇奇怪怪圣地
09-15 2540
莱斯定理是计算理论中非常重要的结论，从它出发也可以明了的分析出针对图灵完备语言进行静态分析的理论上限。莱斯定理的定义是这样的： 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)将其规约成另外的问题来判定某个图灵机是否能在给定的输入上，在有限步数内给出确定的是或者不是的答案。
令问题集合 L = {⟨M⟩|M在所有输入上均停机}。 (1) 利用 Rice 定理证明 L 是不可判定的; (2) 证明 L 是非递归可枚举的(提示:利用归约技术); (3) 证明 L 是非递归可枚举的(提示:利用归约技术)。
最新发布
06-08
(1) 利用 Rice 定理证明 L 是不可判定的： 根据 Rice 定理，对于任何非平凡的性质 P，如果它在某个图灵机上是可判定的，那么在所有图灵机上也是可判定的。 现在我们考虑性质 P，即“图灵机 M 在所有输入上均停机”...
细胞自动机一般极限集的Rice定理_Rice's theorem for generic limit sets of cellu
02-08
**Rice定理在细胞自动机的一般极限集中的应用** 细胞自动机（Cellular Automata, CA）是离散动态系统的一种形式，由局部规则定义，最早由约翰·冯·诺依曼在20世纪40年代提出。在有限字母表A上，全局规则通过同步...
"交互式定理证明方法验证数据流分析正确性的研究
68www.elsevier.com/locate/entcs用于过程内数据流分析的亚历山德鲁·S·A麻省理工{salcianu，arkoudas}@ csail.mit.edu传真：617-253-1221摘要本文介绍了我们的经验，使用交互式定理证明雅典娜证明抽象解释为基础的...
斯托克斯定理（Stokes' theorem）
10-24 1万+
1. 几种形式
关于co-NP的理解
01-04 4941
L是一个co-NP语言，这个暗示有一个多项式时间的验证机 C(; )   （1）对任何一个不属于L字符串s，有一个证书t（在多项式长度输入）C(s; t)拒绝  （2）对任何一个属于L字符串s，这里没有一个证书t说拒绝。 从而这里有一个问题，当对任何一个属于L字符串s，这个分支，我们没有办法在多项式时间进行验证。 引出了co-NP问题和NP问题是否相等。
库克列文定理的证明
01-06 2391
这里只给出证明的思路 首先我们不可能找到所有的np问题，所以不可能实现定义中，所有np问题向SAT问题的多项式规约。 因此，cook 和levin找到了一个从np问题定义的方式来解决SAT完全问题 具体思路为 就是这样。我们现在要在一台非确定图灵机的模拟接受问题。 这时，在每一个图灵机的分支上，形成了一个所谓的画面。这里的设计以后再讲。 反正就是这么一个
如果P = NP 则 NP = co-NP.
01-04 1692
证明： P = co-P 如果P = NP 这时co-NP = co-P = P。 因此得证。 这个公式有个非常好的推论 如果NP ！= co-NP then P ！= NP.（逆否命题） 因此，我们可以通过NP ！= co-NP得到P ！= NP。
图灵可识别
01-12 1583
假设有语言A，如果能设计出一台图灵机M，对于任意字符串ω，如果ω∈A，那么M读取ω后会进入接受状态，那么A是一个图灵可识别语言。注意这个定义对于ω不属于A的情况没有做出限制，所以M读取到不属于A的ω，那么它有可能拒绝，也有可能循环。 其中课本有这么一句话，有时候，很难区分机器是进入了循环还是消耗长时间的运行。 这就产生了一个问题：那么进入了循环时，我们怎么知道是否接受呢？ 注意：这里考虑问题
萨维奇（Savitch）定理证明
01-02 1308
递归函数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 1117
因为P在运算下封闭，如果一个语言在P中，这时他的补语言也在P中。（简单证明：通过反转接受和拒绝状态就可以实现） 一个语言在co-NP当且仅当他的补语言在NP。 所以，P的任何补语言在NP，根据定义，P的这个语言在co-NP中。所以P ⊆ co-NP
非确定型图灵机（转移函数的选择）
01-03 836
下面内容来自wiki Resolution of multiple rules How does the NTM "know" which of these actions it should take? There are two ways of looking at it. One is to say that the machine is the "luckiest possible
可判定问题
01-12 670
定义：A={ω> | M描述一台图灵机，且M描述的机器接受ω} 我们知道这个是不可判定的。 这里表示的是： M描述一台能够识别语言L的图灵机，对任何一个字符串，我们判定M是否能接受它（接受或者拒绝）。 A的含义是：对所有图灵机，我们都要实现上边的功能。这是一个可判定问题。 如果这里是所有图灵可判定语言的图灵机，那么显然有这么一个图灵机A存在。因此为可判定。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值