首页 >
可计算性理论
✍ dations ◷ 2025-06-27 12:06:01 #可计算性理论
在计算机科学中,可计算性理论(Computability theory)作为计算理论的一个分支,研究在不同的计算模型下哪些算法问题能够被解决。相对应的,计算理论的另一块主要内容,计算复杂性理论考虑一个问题怎样才能被有效的解决。我们考虑关于图灵机的可计算性理论。本节中,固定字符集是{0, 1},
0
,
1
∗
{displaystyle {0,1}^{*}}
是所有有限长度字符串的集合。一个语言即是
0
,
1
∗
{displaystyle {0,1}^{*}}
的一个子集。一个语言L是可以被图灵机所枚举(enumerate)的,如果存在一个图灵机
M
{displaystyle M}
,使得输入是L中的串时,M输出“接受”;而对非L中的串,M输出“拒绝”或不停机。而一个语言L'是可以被图灵机所决定(decide)的,如果存在一个图灵机M',使得输入是L中的串时,M输出“接受”;而对非L中的串,M输出“拒绝”。注意这里的区别在于,对于图灵机决定的语言,我们需要在所有输出上,该图灵机都要停机。这样我们可以定义可计算性等级:所有的语言的集合,记为All;递归可枚举语言,即可以被图灵机枚举的语言的集合,记为RE;递归语言,即可以被图灵机决定的语言的集合,记为R。可见
R
⊆
R
E
⊆
A
l
l
{displaystyle Rsubseteq REsubseteq All}
,即形成可计算性等级。那么产生相关的问题即是两个包含关系是不是严格的,即是否有在All而不在RE中的语言,以及在RE而不在R中的语言。阿兰·图灵在1930年代的工作表明这两个包含关系都是不严格的,即可以证明存在语言L_d,是不能被图灵机所枚举的,以及存在语言L_u,是不能被图灵机所决定的。证明的主要思想是对角线法。停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:给定一个程序P和输入w,程序P在输入w下是否能够最终停止。Post对应问题(Post's correspondence problem)。不可解度的概念定义了不可解的集合之间的相对计算难度。例如,不可解的停机问题显然比任何可解的集合都要难,然而同样不可解的“元停机问题”(即所有具备停机问题的预言机的停机问题)却要难过停机问题,因为具备元停机问题的预言机可以解出停机问题,然而具备停机问题的预言机却不能解出元停机问题。
相关
- 黄疸黄疸(英:jaundice、icterus)又称黄胆,俗称黄病,是因为体内胆红素过高,造成皮肤及巩膜发黄或是发绿的症状,一般会伴随发痒、粪便苍白及尿液颜色偏深的情形。新生儿黄疸是出生后前三
- 勃朗特三姐妹勃朗特三姊妹(英语:Brontë family or The Brontës),是三位英国著名文学女作家,并且是亲生三姊妹,分别是:1847年,夏洛蒂的《简·爱》,艾米莉的《呼啸山庄》,安妮的《荒野庄园的房客》
- 醋酸铅2.55 g/cm3(三水合物)75 °C(三水合物分解)乙酸铅,又称醋酸铅,是一种白色晶体状化合物,带甜味。将铅黄(一氧化铅)和乙酸反应可以制备乙酸铅。和其他铅化合物一样,乙酸铅也有很大毒性
- 火箭核热力火箭是把工作流体,如氢在核反应堆中加热,接着从火箭发动机喷管中喷出产生推力的一种热力火箭。目前NERVA被建造出来验证核热力火箭。目前的核热力火箭使用的是核裂变技
- 骨内给药骨内针(intraosseous vascular access)是利用骨骼给药的方式。在1922dc Drinker教授提出骨髓并不会塌陷,可以将之视为静脉用以注射药剂,因此开始有了骨内针intraaosseous vascul
- 列奥尼达一世列奥尼达一世(希腊文: .mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek",Cardo,"Gentium Plus",Gentium
- 终极波音747策略对宗教的批评 · 自由思想反教权主义 · 反宗教虚构宗教终极波音747策略(Ultimate Boeing 747 Gambit)是对神创论(或智能设计论)的一种反驳策略,属于归谬法。它由著名演化生物学
- 内务省内务省是日本在 1873 年 11 月 10 日设置、1947 年 12 月 31 日废止的中央官厅,其职掌是地方行政和财政、警察、土木工程、卫生等等国内行政。从一开始就反映了初代内务卿大
- 指称语义在计算机科学中,指称语义(英语:Denotational semantics)是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语
- 逻辑学逻辑(古希腊语:λογική;德语:Logik;法语:logique;英语:logic;意大利语、西班牙语、葡萄牙语: logica),又称理则、论理、推理、推论,是对有效推论的哲学研究。逻辑被使用在大部分的