递归集合

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

相关

  • 流行病流行病指可以感染众多人口的疾病,但不一定为传染病。流行病可以只是在某地区发生,亦可以是全球性的大流行。欧洲语言中,辞源均来自希腊语,如英语的epidemic,法语的épidémie等。
  • 瑞德西韦GS-5734 伦地西韦瑞德西韦(英语:Remdesivir),又译伦地西韦,是由美国吉利德科学公司开发的一种新型实验性广谱抗病毒药物,用来针对埃博拉病毒及被认为可以有效抑制呼吸道上皮细胞
  • 无性生殖无性生殖是指生物体不以透过生殖细胞的结合方式,也就是不经由减数分裂来产生配子,直接由母体细胞分裂后产生出新个体的生殖方式。主要分为孢子繁殖(英语:Sporogenesis)、分裂生殖
  • 伊利阿斯·马格努斯·弗里斯埃利亚斯·芒努斯·弗里斯(瑞典语:Elias Magnus Fries,1794年8月15日-1878年2月8日),瑞典生物学家。他在六十多年的科研生涯中,搜集了欧洲各地大量的真菌标本,对其进行了科学、系统
  • 流行性脑炎流行性脑炎(encephalitis lethargica;sleeping sickness (sleepy sickness))或甲型脑炎是一种非典型的脑炎,又称为嗜睡性脑炎(但不是由采采蝇(tsetse fly)传播的非洲昏睡症)。此病最
  • 尼加拉瓜面积以下资讯是以2018年估计家用电源国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2017年估计人类发展指数 以下资讯是以2018
  • 巴库巴库(阿塞拜疆语:Bakı;IPA: .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","G
  • 迪纳厄斯第纳里乌斯(拉丁语:denarius,复数形式: denarii),又译第纳里、第纳留斯、狄纳留斯、第纳尔斯, 在古罗马货币系统中,是从公元前211年开始铸造的小银币。它是流通中最常见的硬币,它逐
  • 维克多·弗兰克维克多·弗兰克(Viktor Emil Frankl,1905年3月26日-1997年9月2日)是一位奥地利神经学家、精神病学家,维也纳第三代心理治疗学派 - 意义治疗与存在主义分析(Existential Psychoanal
  • 中国南方中国北方与中国南方是指中国内部的两大块地理区域,常以淮河或长江为界,将中国分为南部和北部。进入20世纪后,中国地理学中,通常以秦岭-淮河线为自然地理分界线。北方的地域范围