递归集合

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

相关

  • 戴维·巴尔的摩戴维·巴尔的摩(英语:David Baltimore,1938年3月7日-),美国生物学家,1975年诺贝尔生理学或医学奖获得者之一。他是加州理工学院生物学教授,并曾在1997年到2006年期间担任校长。他还
  • 生育控制生育控制(英语:Birth control)也称为避孕,是避免怀孕的方式或是设备。而计划生育即对生育子女的数量和时间做出计划,其中也会包括取得及使用避孕设备或方式。从远古时代以来,人类
  • 喉咙痛咽喉痛(sore throat、throat pain,又称喉咙痛或喉痛),是指咽喉出现痛楚的症状,最主要的成因是咽喉炎(喉咙发炎),但可由其他原因引致,例如白喉和伤风感冒威胁。 服用非类固醇消炎止痛
  • 大规模监控2001年–2007年–与英国政府通信总部合作项目非持续进行项目美国的大规模监控可以追溯到第一次世界大战的战时监控与审查制度(英语:Censorship_in_the_United_States#Wartime_
  • 斯洛伐克面积以下资讯是以2015年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018年估计斯
  • 唯我论唯我论(英语:Solipsism)是一个提出唯某者自己的心灵是确认之存在的哲学理论。唯我论是由拉丁语:solus,意为唯独、唯一,以及拉丁语:ipse,意为自我,所组成。字面意思为我。唯我论的历史
  • 科隆科隆(德语:Köln,  listen 帮助·信息;1919年前德语也拼写为Cöln,科隆语:Kölle,法语:Cologne),是德国第四大城市,是北威州最大的城市,亦是德国内陆最重要的港口之一,莱茵地区的经济文
  • 鼹鼠鼹鼠一种是适应穴居生活的小型哺乳动物,具有圆柱形身躯、柔软的毛皮、极小的耳目、退化的后腿与短且大的有力前肢用以挖掘土壤。英文当中的“mole”通常指真盲缺大目(英语:Euli
  • 尤卡吉尔语系尤卡吉尔语系是俄罗斯尤卡吉尔人(西伯利亚人之一)的几种语言,他们生活在科雷马河(Kolyma)盆地。现时只有北尤卡吉尔语和南尤卡吉尔语两种语言存在。其他的已经消亡。这些语言与其
  • 通古斯语族满-通古斯语族(又称通古斯语系或通古斯-满语族)是世界主要语系之一,其下又分满语支和通古斯语支。通古斯语支的语言有长元音,满语支的语言复元音多;辅音的组合一般不超过两个音素,