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