递归集合

✍ dations ◷ 2025-06-06 14:32:36 #递归集合
在可计算性理论中,一个自然数的子集被称为递归的、可计算的或具可判定性,如果我们可以构造一个算法,使之能在有限时间内终止并判定一个给定元素是否属于这个集合。更一般的集合的类叫做递归可枚举集合。这些集合包括递归集合,对于这种集合,只需要存在一个算法,当某个元素位于这个集合中时,能够在有限时间内给出正确的判定结果,但是当元素不在这个集合中时,算法可能会永远运行下去(但不会给出错误答案)。自然数的子集 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)是递归集合。

相关

  • 公共事业振兴署公共事业振兴署(英语:Works Progress Administration, WPA)(1935年-1943年),大萧条时期美国总统罗斯福实施新政时期建立的一个政府机构,以助解决当时大规模的失业问题,是新政时期(以及
  • 抗肿瘤药抗肿瘤药(英语:Anticancer Drugs,Antitumor Drugs,Antineoplastic Agents)也称为抗癌药、抗恶性肿瘤药,是指治疗恶性肿瘤的药物。此类药物通过多种途径杀灭或抑制癌细胞来达到治疗
  • 强心苷强心苷,属于一种历史悠久的经典的强心药。 药物有
  • 日本汉方医学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学日本汉方医学,是日本的传统医学之一,其
  • 无氧呼吸呼吸作用,又称为细胞呼吸(Cellular respiration),是生物体细胞把有机物氧化分解并转化能量的化学过程,也称为释放作用。无论是否自养,细胞内完成生命活动所需的能量,都是来自呼吸作
  • (8-)8-氨基喹啉是一种有机化合物,喹啉环上的8位被氨基取代。可用作医药中间体。8-氨基喹啉可在钴钼硫化物催化剂存在下,由氢气还原8-硝基喹啉得到。磷酸伯氨喹帕马喹他非诺喹
  • 中时电子报中时电子报是中国时报集团旗下的电子报,目前隶属于时报资讯。时报资讯成立于1989年,是台湾第一家取得加值网络服务执照的公司;中时电子报则在1995年创立,是台湾历史上最为悠久的
  • 环境科学环境科学为跨学科领域专业,既包含像物理,化学,生物,地质学,地理,资源技术和工程等的物理科学,也含有像资源管理和保护,人口统计学,经济学,政治和伦理学等社会科学。环境科学包含了影响
  • 健忘性失忆症(Amnesia,来自希腊语ἀμνησία),又称失忆症候群(amnesic syndrome),是一种记忆混乱的疾病。简单来说就是丧失记忆,包含丧失部分记忆或丧失全部记忆。失忆症的成因包括器
  • 一阶逻辑一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统。过去一百多年,一阶逻辑出现过许多种名称,包括:一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑