图灵机停机不可判定证明

最新推荐文章于 2023-09-17 12:07:19 发布
最新推荐文章于 2023-09-17 12:07:19 发布
阅读量2.1k 收藏 1
点赞数 1
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/fhy0516/article/details/1683841
版权 
图灵机停机不可判定证明
 利用反证法
 假设存在一个M(p,d)可以判定p程序对就d输入是否停机
程序p如下
 p(d)
 {
 	如果 M(p,d)可停机 不可停机
	否则 返回停机
}
请判定p否可停机
 如果M(p,d)可停机 根据定义是不可停机的
 如果M(p,d)不可停机，根据定义是停机的
 
fhy0516
关注
【形式语言与自动机】图灵机
smilejiasmile的博客
07-28 1158
【形式语言与自动机】图灵机 一、图灵机 在经过有限状态机的介绍之后，再来看一种功能更强大的机器。 图灵机基本结构 〉 一条分格的无限长的纸带，每格可容纳一个字符 〉 一个读写头，可以在纸带上移动（可以双向移动，之前的有限状态机只能单向移动），读出当前格子的字符，重写格子上的内容，改变自己的内部状态。所以它可以做三件事情，自身的状态，可双向移动、可读可写。 〉 一系列关于读写头动作的规则（或...
图灵停机问题
Kikim的地盘
07-19 4686
图灵停机问题：输入一段程序代码以及提供此段代码的输入，能否通过程序来判定运行这个程序后程序是否中止。（好拗口！）           对图灵停机问题比较通俗的讲法就是：知道某个想法，能够用想法判定该想法是否可行。这么说，好像有点感觉是用结论来证明结论的感觉。其实答案是显然的，不能。           而图灵提供该问题的证明伪码为： Program Bug; var     code:i
图灵机停机问题的不可判定性
热门推荐
Zyj061的专栏
04-09 1万+
Turing Machine Halting Problem停机问题：指判断任意一个程序是否能在有限的时间之内结束运行的问题。图灵机停机问题是不可判定的，意思即是不存在一个图灵机能够判定任意图灵机对于任意输入是否停机。 为了证明这个问题的不可判定性，我们将基于莱斯定理(Rice’s Theorem)将其规约成另外的问题来判定某个图灵机是否能在给定的输入上，在有限步数内给出确定的是或者不是的答案。
图灵机不可判定问题
CodeWoods
11-03 1万+
一. 图灵机简介        图灵机（Turing Machine）有有限个状态。其中一个状态是开始状态。这些状态的一个子集是接受状态，还有一个子集是拒绝状态。接受状态子集和拒绝状态子集不相交（不能有一个状态既是接受状态，也是拒绝状态）。        有一个字符集Σ，图灵机以Σ上的字符串ω作为输入（ω∈Σ*，Σ*是一个集合，它的元素是：由0个或多个Σ上的字符组成的有限长度的字符串）。图
图灵停机问题（The Halting Problem）
一苇以航
08-03 1578
不存在这样一个程序（算法），它能够计算任何程序（算法）在给定输入上是否会结束（停机）。 那么，如何来证明这个停机问题呢？ 反证!假设我们某一天真做出了这么一个极度聪明的万能算法（就叫God_algo吧），你只要给它一段程序（二进制描述），再给它这段程序的输入，它就能告诉你这段程序在这个输入上会不会结束（停机），我们来编写一下我们的这个算法吧： bool God_algo(char*
证明图灵机停机问题是不可判定的
04-24
证明图灵机停机问题是不可判定的，需要使用反证法。假设存在一个算法或者程序，能够解决所有图灵机是否会停机的问题。那么我们可以利用这个算法或程序来构造一个新的图灵机，这个图灵机的定义是如果输入的图灵机停机...
给出形式化证明图灵机停机问题不可判定
04-24
好的，针对您的问题，我可以提供以下证明： 首先，我们需要定义“可判定性问题”和“问题的语言”的概念。一个问题的语言是指一个由计算机可以接受的字符串集合，...因此，我们可以得出结论: 图灵机停机问题不可判定。
图灵机停机问题与辩证无限观
weixin_71696661的博客
06-05 1662
图灵机停机问题与辩证无限观 图灵机停机问题的证明有两种方法：对角线法、判定程序法。这两种证明方法一直遭受到科学界、哲学界的质疑。而“对角线法”备受质疑，是因为这种方法的哲学思想是一种“实无限”思想。我文《辩证唯物主义无限观与诸流派无限思想分析》对“对角线法”进行了全面的批判（见我的博文）。 判定程序法遭受质疑是因为其证明思路与罗素悖论一致，而罗素悖论的彻底解决至今未有定论。所以人们对判定程序法的质疑也是理所当然的。 我文《辩证无限观与第三次数学危机》（见我的博文，或微信公...
证明：接受所有是回文的输入的TM的图灵机编码的集合是不可判定的
06-06
要证明接受所有是回文的输入的TM的图灵机编码的集合是不可判定的，我们可以使用反证法。 假设我们有一个算法可以判定接受所有回文的TM的图灵机编码集合。我们可以使用这个算法来构造一个能够解决停机问题的算法。...
图灵停机问题(halting problem)
MyLinChi的博客
01-12 7844
问题描述 是否存在一个过程能做这件事：该过程以一个计算机程序以及该程序的一个输入作为输入，并判断该过程在给定输入运行时是否最终能停止。 问题解答 1936年图灵证明这样的过程是不存在的。 证明 （反证法） 假设：存在一个这样的过程H（P,I），P为计算机程序，I为该程序的一个输入,H可以根据P和I返回true（该过程在给定输入运行时能停止)或者false（该过程在给定输入运行时不能停止）。
阿兰·图灵如何证明的通用图灵机不可判定“停机问题
m0_62574889的博客
05-16 1164
阿兰·图灵如何证明的通用图灵机不可判定“停机问题 我还是不太理解，我停机预测器已经预测该程序会停机了，那么这个机器就应该停止了呀，实际情况应该是就是这个计算机会停机呀 这里指的反向操作是什么操作呢？ 我还是觉得怪怪的，因为我认为反例程序是在停机预测器已经给出输出之后，给出的输入，如果我最开始这个停机预测器就输出会停机，那么它不就停机了吗？
停机问题的定义和证明
NGram
03-18 3095
停机问题停机问题（halting problem）是目前逻辑数学的焦点，和第三次数学危机的解决方案。其本质问题是: 给定一个图灵机 T，和一个任意语言集合 S, 是否 T 会最终停机于每一个。其意义相同于可确定语言。显然任意有限 S 是可判定性的，可数的(countable) S 也是可停机的，在使用 oracle 输入的帮助下。 通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结
图灵机--停机问题
最新发布
misszzs2002的博客
09-17 480
【计算机科学速成课】[40集全/精校] - Crash Course Computer Science】H如果说停机，表示F不停机，表示能说话的人（H）说停机，但是整体不停机。如果H会停机，表明F没有找到让H停机的程序，F会一直找，F不停机。H说不停机，则F停机，表示能说话的人（H）说停机，但是整体不停机。H（halt 停止）：判断程序是否会停机，判断运行此会不会停机。F（find 寻找）：寻找程序 找到让H停机的程序 F停机。如果有个程序无法判断，证明此问题无解。如果H不会停机，F找到，F停机。
图灵停机问题及实际应用
xxlcbh的专栏
12-31 841
最近看《程序员的数学》大概了解了一下停机问题，了解的同时也疑惑，这个能有什么实际用处吗？ 带着疑惑上网搜到了cnbeta.com里的一篇新闻，http://www.cnbeta.com/articles/347905.htm 《停机问题证明致命机器人无法正确决定是否杀死人类》，其论文也发表在arxiv上。有兴趣的可以下载原文来看。 这篇论文的主要思路是，通过列出一系列电车难题的变种，来
停机问题、Chaitin常数与万能证明方法
matrix67的专栏
10-12 1060
    高中一次英语课上，英语老师问我们，如果你有机会乘坐时光机回到过去，你想利用这次机会来干啥。“人上一百，形形色色”这句老话得到了完美的验证。什么“回去看看四大美女”呀、“看看金字塔是怎么建造的”呀、“回到三年前的那个风雨交加的夜晚握住她的手深情地告诉她其实我不想让你离开我你知道你走了之后我有多么痛苦吗”之类的东西，各种稀奇古怪的想法都被我们说了个遍。我还记得当时我说的啥——一个
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值