99问答网
所有问题
当前搜索:
图灵机的停机问题
图灵停机问题
答:
停机问题(英语:halting
problem)是逻辑数学中可计算性理论的一个问题
。通俗地说,停机问题就是判断任意一个程序
是否能在有限的时间之内结束运行的问题
。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。艾伦·图灵在1936年用对角论证法证明...
什么是
图灵
不可
停机问题
?
答:
因为 P 本身也是一台
图灵机
, 可以表示为一个字符串, 所以我们可以把 P 输入给它自己, 然后问 P(P) 是否
停机
. 按照程序 P 的流程, 如果 P 不停机无限循环, 那么它就停机, 输出"halt"; 如果 P 停机, 那么它就无限循环, 不停机; 这样无论如何我们都将得到一个矛盾, 所以假设前提不成立, 即...
离散数学两个
问题
答:
理这个角度,计算机也仍然存在着极限。这就是
图灵机的停机问题
。这个问题在图灵看来更 加重要,在他当年的论文中,其实他是为了论证图灵停机问题才“捎带手”提出了图灵机模 型的。提到了图灵停机问题,我不禁又要提一提哥德尔定理、罗素悖论、康托尔的集合论等 等一系列大事儿。早在19世纪末的时候,...
艾伦·麦席森·
图灵的
主要成就
答:
图灵在判定问题上的一大成就是把
图灵机的
“
停机问题
”作为研究许多判定问题的基础,一般地,把一个判定问题归结为停机问题:“如果问题A可判定,则停机问题可判定.”从而由“停机问题是不可判定的”推出“问题A是不可判定的”。所谓停机指图灵机内部达到一个结果状态、指令表上没有的状态或符号对偶,从而导致计算终止。...
可计算性是指一个实际
问题
是否可以使用计算机来解决,一切问题都是可计算...
答:
在可计算性理论中,有一个重要的问题是“停机问题”(Halt Problem),
即判定一个给定的图灵机和输入是否会在有限时间内停机
。艾兰·图灵提出了停机问题,并且证明了不存在一个通用算法能够解决所有的停机问题,这个证明被称为图灵停机定理。3. 不可计算性的概念:在可计算性理论中,也有很多问题是不可...
AIT 中的几个有趣
问题
:从一些不可计算数到算法演化的动力学
答:
接下来,再看一个
问题
:长度不超过 L 的图灵机,执行 T 步时正好
停机的图灵机的
数量记为 ,则 Q 是否是可计算的? 若 可计算,则我们可以构造如下一段程序: 这段程序很有意思,其中 c 是一个常数,它存在一个特殊的不等式(其中 L = Qs.length): 其中e 是一个只与语言本身有关的常数。这里不等式左侧源自 ...
带你深入理解
图灵机
--天才所在的时代
答:
停机问题 通俗地说,
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题
。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。 有人猜测图灵机模型是图灵在思考 停机问题 而顺带设计出来的,是很有道理的。 图灵在剑桥大学国王学院期间,研究...
睡前说:关于
图灵机
答:
对于初始状态S_0,
图灵机
可以看作S_n = G^n S_0。然后存在状态判定函数check,判断S_n是否符合某组特征,如果符合则
停机
。 当然,上面这种全部混搭在一起的观点未必能把
问题
都看清楚,所以我们还是保留N、Q、T的三元结构,N不再记录状态和数据,而仅仅给出不同状态和数据之间的“相邻”关系。 我们可以很显然地看到...
可计算性理论的判定
答:
图灵在1936年证明,
图灵机的停机问题
是不可判定的,即不存在一个图灵机能够判定任意图灵机对于任意输入是否停机。图灵机的停机问题是半可判定的。图灵机的停机问题是很重要的,由它可以推出计算机科学、数学、逻辑学中的许多问题是不可判定的。
任意两个一般递归函数是否等价,是一个可判定的
问题
吗?
答:
首先,这个问题有点不够准确,如果所给的递归函数的计算过程不停机,那么这就是不可判定的问题,因为
图灵机停机问题
是不可判定的,而一般递归函数的计算能力与图灵机是等价的。所以,应该把这个问题修正为:“两个停机的递归函数是否等价是不是可判定的。”而这个问题可能是不可判定的。类似的有一个不...
1
2
3
4
5
6
7
8
涓嬩竴椤
其他人还搜
图灵停机悖论
图灵机停机问题是不可计算的
图灵机和冯诺依曼机
图灵机判定问题
图灵死机定律是什么
图灵死机是什么意思啊
图灵机的停机问题是不可判定的
图灵机的停机问题是谁证明的
1936年图灵机的停机问题