如果程序 P停止运行,停机问题的答案是“停机”。 如果程序 P无限运行下去,则答案是“不会停机”。 图灵证明了这个问题是不可解的,也就是说,没有任何通用的算法能够解决所有程序的停机问题。 证明停机问题不可计算 图灵的证明是通过一种反证法来实现的。假设存在一个...
只是假设了返回值为 void,输入为char*的程序,也就是对于这一类程序我们证明了不存在满足要求的算法,那么既然对这一类程序都不存在,自然对于任意程序而言,就更不存在了。 至此,我们就证明了图灵停机问题。
结论请直接跳转9:49 知识 校园学习 计算机 对角线证明 图灵机 理论计算机 停机问题 长度合适的昵称 发消息 接下来播放 自动连播 寻找最大的数字! 无限理论派 1205 1 真小学二年级也能听懂的极限证明 长度合适的昵称 159 0 【电的科技史】计算机如何帮助原子弹爆炸? 冰焰睡不醒 3.9万 219 Dafny入门教程 ...
图灵停机问题的证明逻辑套用在特定步数内停机问题上，是不成立的。要解释这个问题，需要从你提到的那个“...
图灵停机问题在逻辑上的错误 | 图灵关于停机问题的论述,在逻辑上存在三个巨大的错误,世人不察,遗憾之至。简述如下: 其一,图灵只证明了“具备某种属性(停机逻辑与被检测程序相反)的检测程序不存在”,并没有证明“检测程序不存在”。例如,当定义检测程序的停机逻辑与被检测程序相同而不是相反时,这样的检测程序是否存...
百度试题 题目( )在1936年证明,图灵机的停机问题是不可判定的 相关知识点: 试题来源: 解析 图灵 反馈 收藏
( )在1936年证明,图灵机的停机问题是不可判定的。A.图灵B.冯.诺依曼C.哥德尔D.厄布朗的答案是什么.用刷刷题APP,拍照搜索答疑.刷刷题(shuashuati.com)是专业的大学职业搜题找答案,刷题练习的工具.一键将文档转化为在线题库手机刷题,以提高学习效率,是学习的生产力工具
如果程序 P停止运行,停机问题的答案是“停机”。 如果程序 P无限运行下去,则答案是“不会停机”。 图灵证明了这个问题是不可解的,也就是说,没有任何通用的算法能够解决所有程序的停机问题。 证明停机问题不可计算 图灵的证明是通过一种反证法来实现的。假设存在一个算法 H ...
百度试题 题目( )在1936年证明,图灵机的停机问题是不可判定的。A.图灵B.冯.诺依曼C.哥德尔D.厄布朗 相关知识点: 试题来源: 解析 A 反馈 收藏
本文介绍停机问题,网上有一些证明,但是细节方面有点小漏洞,我们这里优化了一下。 停机问题:是否存在一个确定的程序(或者算法)能够判定 任意一个程序, 对于任意输入 是否 能在有限时间内返回 ? 答案是否定的,下面给出一个证明: 我们把所有的程序都看成函数 , ...