首页 >
递归集合
✍ dations ◷ 2025-08-23 22:00:21 #递归集合
在可计算性理论中,一个自然数的子集被称为递归的、可计算的或具可判定性,如果我们可以构造一个算法,使之能在有限时间内终止并判定一个给定元素是否属于这个集合。更一般的集合的类叫做递归可枚举集合。这些集合包括递归集合,对于这种集合,只需要存在一个算法,当某个元素位于这个集合中时,能够在有限时间内给出正确的判定结果,但是当元素不在这个集合中时,算法可能会永远运行下去(但不会给出错误答案)。自然数的子集 S 被称为递归的,如果存在一个全可计算函数使得换句话说,集合 S 是递归的,当且仅当指示函数
1
S
{displaystyle 1_{S}}
是可计算的。如果
A
{displaystyle A}
是递归集合,则
A
{displaystyle A}
的补集是递归集合。
如果
A
{displaystyle A}
和
B
{displaystyle B}
是递归集合,则
A
∩
B
{displaystyle Acap B}
、
A
∪
B
{displaystyle Acup B}
和
A
×
B
{displaystyle Atimes B}
是递归集合。集合
A
{displaystyle A}
是递归集合,当且仅当
A
{displaystyle A}
和
A
{displaystyle A}
的补集是递归可枚举集合。一个递归集合在全可计算函数下的原像(preimage)是递归集合。
相关
- X射线计算机断层成像计算机断层成像(Computed Tomography,简称CT),是一种影像诊断学的检查。这一技术曾被称为计算机轴向断层成像(Computed Axial Tomography)。X射线计算机断层成像(X-Ray Computed To
- NDL国立国会图书馆(日语:国立国会図書館/こくりつこっかいとしょかん Kokuritsu kokkai toshokan */?)是日本的国家图书馆,直接隶属于国会,除了主要为日本国会议员的调查、研究等立
- 轴丝动力蛋白(英语:Dynein)是一种马达蛋白(或分子马达),可将ATP高能磷酸键的化学能转化为机械能。动力蛋白依靠在微管上向负端的“行走”运输细胞内的货物。细胞骨架微管的负端指向细
- 外耳炎外耳炎(Otitis externa)是耳道的炎症,常见的症状有耳部疼痛(英语:ear pain)、耳道肿胀,偶尔也会有听力减退的情形。若动到外耳(英语:outer ear),多半会感觉疼痛。一般来说外耳炎不太会
- 表位抗原表位(英语:antigenic epitope),简称“表位”,也称为“抗原决定簇”(antigenic determinant),是指抗原表面上决定抗原特异性的化学基团。抗原表位可被免疫系统(尤其是抗体、B细胞
- ACEI血管紧张肽I转化酶抑制剂(英语:ACE inhibitor,简称为ACEI)是一类抗高血压药。血管紧张素转化酶(ACE)是肾素-血管紧张素-醛固酮(RAA)系统中的一个重要环节,该系统对血压的调节有着及其
- 公务员美国联邦公务员(英语:United States federal civil service)是联邦政府各部门各机构的文职工作人员(即非选举、非军事的公共部门(英语:Public sector)的雇员)。联邦公务员制度建立于
- 重建时期美国重建时期(英语:Reconstruction Era)在美国历史上指1865年-1877年,当南方邦联与奴隶制度一并被摧毁时,试图解决南北战争遗留问题的时期。“重建”提出了南方分离各州如何重返联
- 亚伯达省阿尔伯塔省(英语、法语:Alberta),简称艾省、亚省、阿省,是加拿大的一个省。阿尔伯塔是加拿大西部草原三省之一,西部与不列颠哥伦比亚相邻,东部与萨斯喀彻温相邻,北部与西北地区相邻,
- 先验先验(拉丁语:a priori;也译作 先天)在拉丁文中指“来自先前的东西”,或引申为“有经验之前”。近代西方传统中,认为先验指无需经验或先于经验获得的知识。它通常与后验知识相比较,