首页 >
可计算性理论
✍ dations ◷ 2025-04-04 11:17:41 #可计算性理论
在计算机科学中,可计算性理论(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)。不可解度的概念定义了不可解的集合之间的相对计算难度。例如,不可解的停机问题显然比任何可解的集合都要难,然而同样不可解的“元停机问题”(即所有具备停机问题的预言机的停机问题)却要难过停机问题,因为具备元停机问题的预言机可以解出停机问题,然而具备停机问题的预言机却不能解出元停机问题。
相关
- Sabin-Feldman 染色试验弓形虫染色试验,又名萨宾-费尔德曼染色试验,是一个用于诊断弓虫症的血清学试验,实验原理是某些抗体会阻止亚甲蓝染液进入弓形虫生物的细胞质。用弓形虫滋养体和补体作为激活剂
- 霉菌霉菌是非分类学名词,是对菌丝体发达,而又不产生大型肉质子实体的丝状真菌的俗称。霉菌的菌丝呈长管、分枝状,无横隔壁,具多个细胞核,并会聚成菌丝体。霉菌常用孢子的颜色来称呼,如
- 马凡氏综合征马凡氏综合征(Marfan syndrome)为一种遗传性结缔组织疾病。马凡氏综合征为体染色体显性遗传,发生于FBN1基因(位于第15对,q21.1位置上),负责编码结缔蛋白原纤蛋白(fibrillin-1;一种
- 蚂蚁参见亚科列表(英语:List of ant subfamilies)蚂蚁,古代又称马蚁或馬螘,蚂蚁是一种真社会性的昆虫,属于膜翅目 (Hymenoptera) 蚁科(Formicidae),膜翅目的其他昆虫有胡蜂、黄蜂等。最
- 右旋兰索拉唑右旋兰索拉唑(dexlansoprazole、INN,商品名 Kapidex,Dexilant、右兰索拉唑、埃索美拉唑镁,中文商标名:得喜胃通 60毫克/缓释胶囊)是一种质子泵抑制剂(PPI)。由日本武田药品销售,可由
- 原子序数原子序数(英语:Atomic Number)是一个原子核内质子的数量,因此也称质子数,也等于原子电中性时的核外电子数。拥有同一原子序的原子属于同一化学元素。原子序数的符号是Z。通常原子
- 叙任权斗争叙任权斗争(英语:Investiture Controversy)或叙任权争夺(英语:Investiture Contest)是中世纪欧洲最著名的重大冲突事件,矛盾的双方是教会和世俗君主。在11和12世纪之际,数位教宗挑战
- 急性粒细胞性白血病急性粒细胞性白血病(英语:acute myeloblastic leukemia),是一种位于骨髓的急性疾病,属于急性骨髓性白血病。患者的骨髓和血液中发现有大量的成髓细胞(英语:myeloblasts)。这一疾病也
- 咽鼓管扁桃体咽鼓管扁桃体(tubal tonsil)为组成瓦尔代尔氏扁桃体环(Waldeyer's tonsillar ring)的四大扁桃腺群之一,其中包括有腭扁桃体(Palatine tonsil),舌扁桃体(lingual tonsils),咽扁
- 发音部位调音部位(英语:Place of articulation,簡稱POA),也称调音位置、发音部位、发音位置,在语音学上指的是辅音发音时,口腔或者咽腔中受到阻碍的位置。人类透过下列的方法来发出声音:被动