可计算性理论

✍ dations ◷ 2025-04-26 12:26:37 #可计算性理论
在计算机科学中,可计算性理论(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)。不可解度的概念定义了不可解的集合之间的相对计算难度。例如,不可解的停机问题显然比任何可解的集合都要难,然而同样不可解的“元停机问题”(即所有具备停机问题的预言机的停机问题)却要难过停机问题,因为具备元停机问题的预言机可以解出停机问题,然而具备停机问题的预言机却不能解出元停机问题。

相关

  • 创伤受伤或创伤,是生理创伤、损害,身体受外物力量侵害,身体功能丧失、流血、断裂、骨折等。在工作时的受伤,称为工伤;在运动时受伤,称为运动创伤,学科名为运动创伤学、运动医学,总称创伤
  • 国际科学词汇ISV(英语:International scientific vocabulary)指国际科技词汇或国际通用科技词汇,指的是欧洲语言为了科技术语的统—及科技术语的单义性,以吸收外来词为方法,以术语国际化为目标
  • 噬菌体噬菌体(英语:bacteriophage)是病毒的一种,其特别之处是专以细菌为宿主,较为熟知的噬菌体是以大肠杆菌为寄主的T2噬菌体。跟别的病毒一样,噬菌体只是一团由蛋白质外壳包裹的遗传物
  • 心包炎心包炎(英语:Pericarditis)是心包(心脏周围的纤维囊)炎症的症状,症状多半是突然出现的急性胸痛,疼痛的部位也会出现在肩膀、颈部或是背部,若坐姿较直,疼痛会比较和缓,若躺下或是深呼吸
  • 圆虫线虫动物门(学名:Nematoda)是动物界中最大的门之一,为假体腔动物,绝大多数体小呈圆柱形,又称圆虫(roundworms)。线虫的物种很不容易区分,有相关描述的已超过二万五千种,其中超过一半是
  • Right右束支传导阻滞(Right bundle branch block,简称RBBB)是一类心脏电传导系统阻滞疾病(英语:heart block)。乃肇因于心脏的右束支传导阻断,进而造成电讯号无法经由此途径传入右心室,而
  • 塔巴南县塔巴南县(印尼语:Kabupaten Tabanan)是印度尼西亚巴厘省的一个县,位于巴厘岛中部,县治在塔巴南。2010年普查,全县有人口420,913人。塔巴南县下分为10个区(kecamatan),各区人口如下:
  • 福伊尔塔伦福伊尔塔伦(德语:Feuerthalen)是瑞士联邦苏黎世州安德尔芬根区的市镇。该市镇面积为2.49平方千米,海拔高度400米,2018年12月31日人口数为3,624。
  • 行为行为是指有机体(包括人类与其他动物)的动作、行动方式,以及对所处环境与其他生物体或物体的一种反应。词性为中性。在生物适应环境上,行为有很重要的意义,有助于避免受到负面的环
  • 前置词前置词(preposition)在文法里是一种介词或助词,其作用为建立受词(多半是一个名词词组)与句子中其他部分的关系,通常用来表示位置或时间。