首页 >
可计算性理论
✍ dations ◷ 2025-07-08 17:02:44 #可计算性理论
在计算机科学中,可计算性理论(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)。不可解度的概念定义了不可解的集合之间的相对计算难度。例如,不可解的停机问题显然比任何可解的集合都要难,然而同样不可解的“元停机问题”(即所有具备停机问题的预言机的停机问题)却要难过停机问题,因为具备元停机问题的预言机可以解出停机问题,然而具备停机问题的预言机却不能解出元停机问题。
相关
- 急性支气管炎支气管炎又分作急性支气管炎与慢性支气管炎,是肺部中型支气管的炎症。急性支气管炎通常是由病毒或细菌感染引起。可以持续数天或数周。急性支气管炎是肺部支气管(中至大的大小
- 真核生物真核生物(学名:Eukaryota)是其细胞具有细胞核的单细胞生物和多细胞生物的总称,它包括所有动物、植物、真菌和其他具有由膜包裹着的复杂亚细胞结构的生物,而不包括细菌和古菌,因它
- KCNH21BYW, 1UJL, 2L0W, 2L1M, 2L4R, 2LE7, 4HP9, 4HQA· inward rectifier potassium channel activity · voltage-gated potassium channel activity · delayed rectifier
- 高胆固醇血症高胆固醇血症(Hypercholesterolemia)是指血液中的胆固醇偏高的情形。高胆固醇血症属于高脂血症及高脂蛋白血症(hyperlipoproteinemia,血液中脂蛋白过高的病症)。血液中非高密度脂
- 矿产矿产资源,是指由地质作用形成的,具有利用价值的,有固态、液态和气态的自然资源。矿产的形成作用一般有:
- 二顺反子病毒科Cripavirus Iflavirus二顺反子病毒科(学名:Dicistroviridae)是小核糖核酸目(英语:Picornavirales)(病毒)里面的一个科。二顺反子病毒科(Dicistroviridae)
- 碱性电池碱性电池(英文:Alkaline battery)指使用碱性电解液的电池,一般生活中指称碱性电池,指的是碱性锌锰电池。广义上,碱性电池使用的电极材料包括:锌-二氧化锰、锌-氧化汞、镉-氢氧化镍
- 铅酸蓄电池铅酸蓄电池,又称铅蓄电池,是蓄电池的一种,电极主要由铅制成,电解液是硫酸溶液的一种蓄电池。一般分为开口型电池及阀控型电池两种。前者需要定期注酸维护,后者为免维护型蓄电池。
- 中心静脉置管中心静脉导管(central venous catheter, CVC)属于血管内管的一种,放置于大静脉中。常置入之大静脉包括有:全血 · PF24/新鲜冷冻血浆 (冷上清制剂 + 冷沈淀制剂)基于血红蛋白的
- 疏密波纵波,又称为疏密波,是指在传播介质中质点的振动方向与波的传播方向平行的一类波,形成的波是疏密相间的波形。非电磁波的纵波的例子有声波(压力的传递、粒子位移、弹性物质中粒子