首页 >
可计算性理论
✍ dations ◷ 2025-07-19 06:54:36 #可计算性理论
在计算机科学中,可计算性理论(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)。不可解度的概念定义了不可解的集合之间的相对计算难度。例如,不可解的停机问题显然比任何可解的集合都要难,然而同样不可解的“元停机问题”(即所有具备停机问题的预言机的停机问题)却要难过停机问题,因为具备元停机问题的预言机可以解出停机问题,然而具备停机问题的预言机却不能解出元停机问题。
相关
- MedlinePlusMedlinePlus与MedlinePlus医学百科(MedlinePlus Medical Encyclopedia)是一个存放有关健康与医疗讯息的网站,内容来自属于美国国家卫生研究院的美国国家医学图书馆(United State
- 肩肩,俗称肩膀,是动物躯干和上肢的交接点,与其相对的部位是臀。肩主要有三块骨──锁骨、肩胛骨与肱骨组成。为保证胳臂既能够运动自如又具有一定力量,肩膀必须在韧性与力量间寻求
- 萜烯萜烯(英语:terpene,简称萜,旧称䓝,词由松节油“turpentine”而来)是一系列萜类化合物的总称,属脂类,不溶于水,是分子式为异戊二烯(C5H8)的整数倍的烯烃类化合物。萜烯是一个庞大而多样
- 生活质量指数经济学人信息社的最佳出生地指数(曾称生活质量指数)是一个使用独特方法来计算的指数,目的是得出各国能提供健康,安全,富裕生活的程度,得分因素包括主观的生活满意度调查和客观的生
- 颅骨颅骨或者头骨、骷髅头是指人类或者许多脊椎动物的头部骨性结构。头骨之功能为支撑脸部,并保护脑部。头骨分为两部分:颅骨和下颌骨。一般所称之‘头颅’通常仅指颅骨,并未包含下
- 磅士卑省磅士卑省(高棉语:ខេត្តកំពង់ស្ពឺ,罗马化:Khêt Kampong Speu,高棉语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Sego
- 无菌技术无菌操作(英语:aseptic technique)是指在执行医疗、护理技术过程中,防止一切微生物侵入机体和保持无菌物品及无菌区域不被污染的操作技术和管理方法,由约瑟夫·李斯特在1865年首
- 京都府坐标:35°1′18″N 135°45′20.2″E / 35.02167°N 135.755611°E / 35.02167; 135.755611京都府(日语:京都府/きょうとふ〔きやうとふ〕 Kyōto fu */?)是日本近畿地方的都道
- 古法语古法语的概念包括奥依语系的罗曼语族的集合。通行于约10到14世纪,现今法国北部的半数地区。 现在的法语只有几十个字来自高卢语,如果添加高卢词源,则大约有200个。例如chêne和
- 婚礼婚礼是一种缔结婚姻的仪式,有法律公证仪式或宗教仪式等,用来庆祝一段婚姻的开始,代表结婚。所有的民族和国家都有其传统的婚礼仪式,是其民俗文化的继承途径,也是本民族文化教育的