首页 >
可计算性理论
✍ dations ◷ 2025-08-29 00:35:56 #可计算性理论
在计算机科学中,可计算性理论(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)。不可解度的概念定义了不可解的集合之间的相对计算难度。例如,不可解的停机问题显然比任何可解的集合都要难,然而同样不可解的“元停机问题”(即所有具备停机问题的预言机的停机问题)却要难过停机问题,因为具备元停机问题的预言机可以解出停机问题,然而具备停机问题的预言机却不能解出元停机问题。
相关
- 排卵排卵(英语:Ovulation)是女性卵巢内的卵泡破裂,释放次级卵母细胞的过程,这个卵母细胞会离开卵巢,由输卵管进入子宫,是女性月经周期的一部分。在排卵后的黄体期,卵子准备好可以和精子
- 硫血红蛋白硫血红蛋白为一种血红蛋白的变体,本身呈绿色,当它形成后便不能转回正常的血红蛋白。即使很少分量的硫血红蛋白在血液中存在,亦会造成发绀。其出现是罕见的现象,硫化氢(或硫离子)和
- 血管舒张血管舒张是指在血管壁的平滑肌松弛下,令体内血管扩阔的情况。由于空间增大让血液流过,这会降低了血压。它的相反过程称为血管收缩。血管舒张可以自然产生或经由血管舒张剂引起
- 海底热泉海底热泉(hydrothermal vent)亦作海底热液系统(Submarine Hydrothermal System),是从海底喷出经由地热加热过的水及其裂缝喷发口。通常发现于火山活动频发、大陆板块移动的地区及
- 核质巨DNA病毒核质巨DNA病毒(英语:nucleocytoplasmic large DNA viruses,缩写NCLDV)是一类大真核DNA病毒。 这批病毒过往并不属于任何目。2013年,Colson等人 (2013)建议将这批病毒建立成为第四
- 女权运动第二波女性主义(英语:Second-wave feminism)是女性主义者的一场社会运动,最早开始于1960年代初的美国,最终波及至整个西方世界和其他地区。尽管社会运动持续到1980年代初,但是该波
- 消化消化作用是指将食物(大分子)分解成足够小的水溶性分子(小分子),可以溶解在血浆,让身体能够吸收利用的过程。有些生物体会透过小肠吸收小分子,带到血液系统中。消化作用是生物异
- 存在主义存在主义(英语:existentialism),是一个哲学的非理性主义思潮,它认为人存在的意义是无法经由理性思考而得到答案的,以强调个人、独立自主和主观经验。尼采和克尔凯郭尔可被看作其先
- 成骨不全症成骨不全症(osteogenesis imperfecta),简称OI,又称脆骨症,是一种主要影响骨骼的遗传性疾病。它导致骨骼容易骨折。严重程度可能从轻微至严重。其他症状可能包括蓝巩膜,身材短小,关
- 公园公园是供公众消遣游憩的场所。公园可以指下列场所:早期的公园出现于波斯国的苑囿,原目的为供骑射的驰道和遮蔽风雨的处所,美化后成为公园。公园在古希腊时期,是露天集会场地,希腊