99问答网
所有问题
当前搜索:
图灵机的停机问题
艾伦·
图灵
有哪些贡献?
答:
5、判定问题 1937年,图灵用他的方法解决了著名的希尔伯特判定问题:狭谓词演算(亦称一阶逻辑)公式的可满足性的判定问题。他用一阶逻辑中的公式对图灵机进行编码,再由
图灵机停机问题
的不可判定性推出一阶逻辑的不可判定性。他在此处创用的“编码法”成为后来人们证明一阶逻辑的公式类的不可判定性的...
解释一下哥德尔定理
答:
关于这个
问题
的详细情况,可阅读彭罗斯的《皇帝新脑》。 为什么人脑与电脑有这样的根本差别呢,彭罗斯认为可能是量子力学不确定性和复杂非线形系统的混沌作用共同造成的。但也有的数学家并不这样认为,他们指出,人脑就基本意义和工作原理来说,与人工智能原理的“
图灵机
”无根本差别,电脑也存在上述两种作用,这就说明人脑...
问个计算机方面的
问题
?
答:
一个读写头。该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。一个状态寄存器。它用来保存图灵机当前所处的状态。
图灵机的
所有可能状态的数目是有限的,并且有一个特殊的状态,称为
停机
状态。一套控制规则。它根据当前机器所处的状态以及当前读写头所指的格子...
求解编译原理的一道题:设有文法如下
答:
首先要做这题你要知道判别文法类型 包括四个层次:0-型文法(无限制文法或短语结构文法)包括所有的文法。该类型的文法能够产生所有可被图灵机识别的语言。可被图灵机识别的语言是指能够使
图灵机停机
的字串,这类语言又被称为递归可枚举语言。注意递归可枚举语言与递归语言的区别,后者是前者的一个真子...
电脑也有思维吗?
答:
很简单,
图灵机
对
停机问题
是不可判定的,意思就是不能给出一个通用的程序来判断任何一个程序是否会停机,这件事任何以图灵机为计算模型的计算机都做不了。可人类却不同,找一个计算机理论专家,随便给他一个程序,问他这个程序是否停机,这位专家一定能解决这个问题,可以给出一个数学证明。这是一件...
为什么说计算机实际能解决的
问题
对应一个
图灵机
能识别的语言类?
答:
请注意,语言L如果是
图灵机
M所识别的语言,则L中的字符串输入M,M将
停机
并进入接受状态。如果不是L中的字符串输入M,会是什么结果?只能有两种情况:M停机并进入拒绝状态,或者M不停机。用图灵机解决
的问题
都是计算问题,就是一个有已知求未知的问题。你觉得数学中什么东西正是这个作用?是函数,简单...
图灵机
模型的提出者是
答:
4.一个状态寄存器。它用来保存图灵机当前所处的状态。
图灵机的
所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。参见
停机问题
。问题三:图灵机'和计算机有什么区别?电脑到底算什么?是谁发明的? 计算机这个概念由图灵提出,由冯诺依曼最终实现 问题四:如何理解图灵机是一个关于计算的...
何谓“NP完全
问题
”?
答:
P/NP问题中包含了复杂度类P与NP的关系。1971年史提芬·古克(Stephen A. Cook) 和 Leonid Levin 相对独立的提出了下面
的问题
,即是否两个复杂度类P和NP是恒等的(P=NP?)。P和NP 复杂度类P包含所有那些可以由一个确定型
图灵机
在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确...
在
图灵计算
模型里,字母表里的符号多少应该怎么考虑
答:
按照图灵的研究,一个数学问题的可计算等于此
问题的图灵机
可计算,可计算的数是无限可数,不可计算数无限且不可数,现代集合论的说法:后者的阶高于前者。希尔伯特的判定问题可归为一台通用图灵机不通过实际模拟另一台图灵机,是否可判定另一台图灵机会
停机
,图灵的答案是否定,这样希尔伯特的判定问题无解...
P/NP
问题
的P/NP问题
答:
复杂度类P包含所有那些可以由一个确定型
图灵机
在多项式表达的时间内解决
的问题
;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非确定图灵机上在多项式时间内找出的问题的集合。很可能,计算理论最大的未解决问题就是关于这两类的关系的:P和NP相等吗?在2002年对于...
棣栭〉
<涓婁竴椤
4
5
6
7
9
10
8
11
12
13
涓嬩竴椤
灏鹃〉
其他人还搜