首页 >
可计算性理论
✍ dations ◷ 2025-08-08 08:53:17 #可计算性理论
在计算机科学中,可计算性理论(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)。不可解度的概念定义了不可解的集合之间的相对计算难度。例如,不可解的停机问题显然比任何可解的集合都要难,然而同样不可解的“元停机问题”(即所有具备停机问题的预言机的停机问题)却要难过停机问题,因为具备元停机问题的预言机可以解出停机问题,然而具备停机问题的预言机却不能解出元停机问题。
相关
- 初级预防初级预防 亦称一级预防 (预防医学)乃明显不同于次级或第三级预防的概念。主要意涵有三方面,提升个人高层次的潜能、幸福感或协助相关环境改变的促进性活动或方案,维持或转变个人
- 化疗药人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学化学疗法(英语:Chemotherapy),简称化疗(Che
- 职业病职业病是是指企业、事业单位和个体经济组织等用人单位的劳动者在职业活动中,因接触粉尘、放射性物质和其他有毒、有害因素而引起的疾病。这一概念不仅限于生产性质的企业,也包
- 关节囊炎关节囊炎(英语:Capsulitis),即关节囊的炎症。包括:
- 有机锡化合物“有机锡化合物”,或“锡烷”,是包括一个以上锡-烃键的化合物。有机锡化学是有机金属化学的一个分支。最早发现的有机锡化合物是 Edward Frankland 在1849年发现的二碘二乙基
- 链霉菌属链霉菌属也称链丝菌,是放线菌门一个大属,约有近千种。链丝菌好气,绝大部分腐生,其基质菌丝不断裂,气生菌丝分化成直的、弯曲的或螺旋状的孢子丝,成熟的孢子丝生成链状的分生孢子,故
- 悬浊液在化学中,悬浊液(英语:Suspension)也称为“悬浮液”或“悬胶”,是指含有大到可以沉降的固体颗粒的非均相流体。在药剂学中混悬剂是指难溶性固体药物以微粒状态分散于分散介质中形
- 果子狸Gulo larvara Hamilton-Smith, 1827果子狸(学名:Paguma larvata)又名花面狸、白鼻心、果子猫(台湾话:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemF
- 艾福特爱尔福特(德语:Erfurt),又译埃尔福特,是德国中部的一个城市。它是图林根州的首府,并是一个有196,500人口的制造业中心。爱尔福特东北100公里是莱比锡,向西113公里是卡塞尔和向西北1
- 衬线体衬线体(Serif)是一种有衬线的字体,又称为有衬线体、衬线字、曲线描边字,俗称白体字;而与之相对的,没有衬线的字体则被称为无衬线体。衬线是字形笔画末端的装饰细节部分。一般认为