首页 >
可计算函数
✍ dations ◷ 2025-04-26 13:24:42 #可计算函数
在可计算性理论中,可计算函数(computable function)或图灵可计算函数是研究的基本对象。它们使我们直觉上的算法概念更加精确。使用可计算函数来讨论可计算性而不提及任何具体的计算模型,如图灵机或寄存器机。但是它们的定义必须提及某种特殊的计算模型。在可计算函数的精确定义之前,数学家经常使用非正式术语可有效计算的。这个术语因此可以被认同为可计算函数。尽管这些函数被叫做有效的,它们可能极其困难。可行可计算性和计算复杂性研究可有效计算的函数。依据邱奇-图灵论题,可计算函数精确的是使用给出无限数量的时间和存储空间的机器计算设备来计算的函数。等价的说,这个论题声称有算法的任何函数都是可计算的。可以使用Blum公理来在可计算函数的集合上定义抽象计算复杂性理论。在计算复杂性理论中,确定一个可计算函数的复杂性的问题叫做功能性问题。计算函数是在自然数上的有限偏函数。每个可计算函数
f
{displaystyle f}
接受固定数目个自然数作为参数;不同的函数接受不同数目的参数。因为函数是部分的,它们可以不定义在所有可能的输入选择上。如果定义了一个可计算函数,则它返回一个单一自然数作为输出(这个输出可以被解释为使用配对函数的一列数)。记号
f
(
x
1
,
…
,
x
k
)
↓
{displaystyle f(x_{1},ldots ,x_{k})downarrow }
指示偏函数
f
{displaystyle f}
被定义在参数
x
1
,
…
,
x
k
{displaystyle x_{1},ldots ,x_{k}}
上,而记号
f
(
x
1
,
…
,
x
k
)
↓=
y
{displaystyle f(x_{1},ldots ,x_{k})downarrow =y}
指示
f
{displaystyle f}
被定义在参数
x
1
,
…
,
x
k
{displaystyle x_{1},ldots ,x_{k}}
上而返回的值是
y
{displaystyle y}
。这些函数也叫做偏递归函数。在可计算理论中,函数的定义域是函数被定义在其上的所有输入的集合。定义在所有参数上的函数叫做全函数。如果可计算函数是全函数,它叫做全可计算函数或全递归函数。有很多等价方式定义可计算函数的类。为了具体,本文余下部分将假定可计算函数已经被定义可以被图灵机计算的那些偏函数。有很多计算的等价模型定义同一类可计算函数。这些计算模型包括等等。自然数的集合A被叫做可计算的(同义词:递归的,可决定的),如果有可计算函数f使得对于每个自然数n,
f
(
n
)
↓=
1
{displaystyle f(n)downarrow =1}
如果n在A中,并且
f
(
n
)
↓=
0
{displaystyle f(n)downarrow =0}
如果n不在A中。自然数的集合被叫做计算可枚举的(同义词:递归可枚举的,半可判定的),如果有可计算函数f使得对于每个自然数n,f(n)是有定义的,当且仅当n在这个集合中。所以一个集合是计算可枚举的,当且仅当它是某个可计算函数的定义域。使用词可枚举的因为对于自然数的非空子集B下列是等价的:如果集合B是函数f的值域,则这个函数可以被看作B的枚举,因为列表f(0), f(1), ...将包含B的所有元素。因为在自然数上的每个有限关系都可以被识别为对应的自然数的有限序列的集合,可计算关系和计算可枚举关系的概念可以从它们的集合类似物来定义。在计算机科学的可计算性理论中,经常考虑形式语言。它包括任意集合的一个字母表,在字母表上的字是来自字母表的符号的有限序列;同一个符号可以出现多于一次。例如,二进制字符串精确的是在字母表
{
0
,
1
}
{displaystyle {0,1}}
上的字。语言是在固定字母表上的所有字的搜集的子集。例如,精确的包含三个字母的所有二进制字符串的搜集是在二进制字母表上的一个语言。形式语言的一个关键性质是对判定一个给定字是否在这个语言中的难度级别。必须开发某种编码系统来允许可计算函数来接受在语言中的任意字作为输入;这通常是要认真处置的例程。一个语言被称为是可计算的(同义词:递归的、可判定的),如果存在一个可计算函数
f
{displaystyle f}
使得对于在字母表上的每个字w,
f
(
w
)
↓=
1
{displaystyle f(w)downarrow =1}
如果这个字在这个语言中,并且
f
(
w
)
↓=
0
{displaystyle f(w)downarrow =0}
如果这个字不在这个语言中。所以一个语言在有一个过程能正确的判定任意的字是否在这个语言中的情况下是可计算的。一个语言是计算可枚举的(同义词:递归可枚举的,半可判定的),如果有可计算函数f使得
f
(
w
)
{displaystyle f(w)}
是有定义的,当且仅当字w在这个语言中。术语可枚举同自然数的计算可枚举集合有同样的语源。如果f和g是可计算的,则:f + g, f * g,
f
∘
g
{displaystyle fcirc g}
如果
f是一元的,max(f,g), min(f,g)和更多的组合都是可计算的。
相关
- 胸骨胸骨(Sternum)是胸腔中前方一块扁平,剑状的骨,接有肋 。因为其外形如此,故其拉丁文中被名为剑,其三部分为胸骨柄上部的颈静脉切迹(Incisura jugularis)可在体表触及,此乃颈部的下界。
- 抗糖尿病药抗糖尿病药用于降低血中的葡萄糖浓度来治疗糖尿病。除了胰岛素、艾塞那肽(英语:Exenatide)、利拉鲁肽和普兰林肽(英语:Pramlintide)外,其他的都是经由经由口服,所以又称为口服降血糖
- 本土外小岛屿美国本土外小岛屿(英语:United States Minor Outlying Islands),国际标准化组织的ISO 3166-1国际标准、中华人民共和国国家标准GB/T 2659、《中华民国国家标准》CNS 12842所定义
- 非何杰金氏淋巴瘤非霍奇金氏淋巴瘤(Non-Hodgkin lymphoma)简称NHL,是指霍奇金氏淋巴瘤以外的其他淋巴瘤。其症状包括淋巴结肿大(英语:Lymphadenopathy)、发烧、盗汗、体重降轻、容易疲倦。其他症状
- 性欲减退性欲,指对性的渴望。一般科学家认为,性欲是一种本能欲望,对于繁殖下一代有利。至于对大多数动物而言,性欲只存在于发情期时,而动物的发情期通常都是季节性的(例如春天)。对于某些宗
- 嗜睡嗜睡症(hypersomnia)是一种会睡眠过度的疾病,主要有两种类型:原发性嗜睡症和反复性嗜睡症。两者的症状相同,但发生频率不同。患有嗜睡症的人会反复发生过度日间嗜睡(英语:Excessive
- 洗鼻鼻冲洗(英语:Nasal irrigation),又称鼻腔冲洗、鼻窦浇灌、鼻内冲洗、洗鼻、鼻窦盥洗,是清洁及稀释鼻腔内的过敏原、鼻涕、干掉的鼻涕及脏污的一种方法,可以缓解鼻塞、过敏性鼻炎、
- 电吉他电吉他是一种广泛运用于多种音乐风格中的电声拨弦乐器。电吉他通过电磁学原理发声,它通过拾音器将琴弦上的机械振动转化为电信号。这些电信号经过放大与处理后,通过音箱转换成
- 马克斯·魏因赖希马克斯·魏因赖希(1894年4月22日 - 1969年1月29日)是语言学家,专攻社会语言学和意第绪语,语言学家尤里埃尔·瓦恩里希之父。马克斯·魏因赖希(俄语:Мейер Лазаревич
- 阿拉伯语阿拉伯语(اَلْعَرَبِيَّةُ al-ʻarabiyyah 或者 عربي/عربى ʻarabī ),中文也称阿拉伯文,是除了英语和法语之外最多国家使用的官方语言。阿拉伯语