可计算性理论

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

相关

  • 葡萄糖酸葡萄糖酸(化学式:C6H12O7),是葡萄糖的醛基经氧化生成的糖酸,D-葡萄糖酸学名“(2R,3S,4R,5R)-2,3,4,5,6-五羟基己酸”。天然存在于水果、蜂蜜、红酒和红茶菌中。D-葡萄糖被溴水(次
  • 银耳目见内文银耳目(学名:Tremellales),是真菌下属担子菌门银耳纲的一目。大部分腐生于木材,少数寄生于其他真菌。主要生长在热带、亚热带地区。担子具直或斜的隔膜,
  • 悲剧公地悲剧(英语:Tragedy of the commons),或共有财悲歌,是一种涉及个人利益与公共利益对资源分配有所冲突的社会陷阱。这个字起源于英国作家威廉·佛司特·洛伊(英语:William Forste
  • 0号元素无电子0主条目:0号元素的同位素0号元素(英语:Neutronium),有时又被称为中子元素(英语:Neutrium),是指原子中仅含中子,不含质子的一种元素,或纯粹只由中子组成的物质。1926年物理学家安
  • 肝素肝素(Heparin),也称为普通肝素,是一种天然糖胺聚糖抗凝血剂,可用来治疗及预防深静脉血栓、肺栓塞、动脉栓塞,也可用于治疗心肌梗塞以及不稳定型心绞痛。通常以静脉注射方式给药,也
  • 华盛顿州华盛顿州(英语:State of Washington),简称华州,是一个位于美国西北太平洋沿岸的州,北接加拿大不列颠哥伦比亚省,南接俄勒冈州,东临爱达荷州,西邻太平洋。为纪念美国首任总统,乔治·华
  • 胸导管胸导管是人和羊膜动物体中最长最大的淋巴管。胸导管自乳糜池经主动脉裂孔进入胸腔;沿脊柱右前方和胸主动脉与奇静脉之间上行,经食管与脊柱之间向左侧斜行,然后沿脊柱左前方上行
  • 日德兰语日德兰语(Jysk,宽式IPA:/ˈjysg̊/)属于印欧语系-日尔曼语族-北日尔曼语支-丹麦语,是通行于丹麦王国西部日德兰半岛的方言,也零星通行于德国境内的部分地区。日德兰语发音与标准丹麦
  • 尤皮克语尤皮克语(Yupik),阿拉斯加中西部和西伯利亚东北部尤皮克人所使用的语言,属于爱斯基摩-阿留申语系爱斯基摩语族。公元前2000年左右,阿留申语与爱斯基摩语开始分化。1000左右,尤皮克
  • 行为现代性行为现代性是一种人类学、考古学和社会学的术语。它用来指一组区分现今的人类和他们最近来自其他祖先灵长类动物和其他已灭绝的古人类谱系的特征。这个是由于智人能够使用复