首页 >
可计算性理论
✍ dations ◷ 2025-04-02 16:04:25 #可计算性理论
在计算机科学中,可计算性理论(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)。不可解度的概念定义了不可解的集合之间的相对计算难度。例如,不可解的停机问题显然比任何可解的集合都要难,然而同样不可解的“元停机问题”(即所有具备停机问题的预言机的停机问题)却要难过停机问题,因为具备元停机问题的预言机可以解出停机问题,然而具备停机问题的预言机却不能解出元停机问题。
相关
- 电池电池,一般狭义上的定义是将本身储存的化学能转成电能的装置,广义的定义为将预先储存起的能量转化为可供外用电能的装置。因此,像太阳能电池只有转化而无储存功能的装置不算是电
- 射精射精是指精液(一般包含精子)从男性生殖道射出的过程,男性射精一般会伴随性高潮。对于男性而言,它是受到一连串性刺激后,最终会显现的现象,并是自然受精的重要一环。在部分罕有例子
- 捕食捕食(英语:Predation,或称猎食或掠食)是生态学中一种生物互动方式,在这种方式中,捕食者会捕食其他的生命,而这些被捕食者则称为猎物。在进食或行动的过程里,捕食者不一定会杀死它们
- 2013年中国中东部严重雾霾事件2013年12月中国中东部严重雾霾事件,是指起始于2013年12月2日至12月14日的重度雾霾事件,是中华人民共和国2013年入冬后最大范围的雾霾污染,几乎涉及中东部所有地区。天津、河北
- 黑山县黑山县是中国辽宁省锦州市下辖的一个县。位于辽宁省西部。明代名为镇远堡,清初又叫小河山,小黑山。县城东北隅有小黑山,古上帝庙建于其颠。该山虽不甚高,但登临其上,远望群山,近瞻
- 阿德里安堡战役阿德里安堡战役也作哈德良堡战役,是公元378年罗马帝国军队与反叛的哥特人之间的一次战斗,发生在当时罗马帝国的色雷斯行省马里查河河畔的阿德里安堡(也称为哈德良堡),位于今天的
- 艺术家艺术家是指进行艺术作品的创造活动的人物,包括写作、绘画、摄影、表演、雕塑、音乐、书法及舞蹈、等艺术领域,通常是有比较高的成就或拥有独特的个人风格,从而具备了一定的美学
- 突变原突变原(英语:Mutagen,又译致变原、致突变原、致突变剂或诱变剂等)是指一些能使生物体内的遗传讯息(通常是脱氧核糖核酸)发生变化的物理或化学因子。生物若处于这些因子的作用下,发
- 结肠带结肠带(taeniae coli,也作teniae coli或tenia coli)是结肠外壁的三条纵向平滑肌带,对应消化道其他部位的肌外层(英语:muscularis externa),为结肠的特化组织,在乙状结肠以前的结肠(升
- 门静脉高压门脉高压(Portal hypertension)为描述肝门静脉系统(英语:hepatic portal system)高压的状态。目前的定义为肝门静脉梯度(英语:hepatic venous pressure gradient)高于或等于6mmHg。