递归集合

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

相关

  • T4噬菌体T4噬菌体是噬菌体的一个品系,属于T-系噬菌体,为烈性噬菌体。具有典型的蝌蚪状外形:六角形的头部和可收缩的长的尾部。头部的蛋白质外壳内含有折叠的DNA分子;尾部的蛋白质外壳为一
  • 外呼吸外呼吸是指氧与二氧化碳在肺脏内与其周围微血管血液间所进行的气体交换,相对的概念是内呼吸(指一般细胞内与微血管血液间的气体交换。
  • 快中子增殖反应堆快中子增殖反应堆(Fast breeder reactor),或称快中子滋生反应堆、快滋生反应堆、快堆等,是一种核子反应器,核燃料和一颗快中子在核分裂后产生更多的中子,且利用增殖性材料吸收快中
  • 阿兹海默症阿尔茨海默病(拉丁语:Morbus Alzheimer、德语:Alzheimer-Krankheit、英语:Alzheimer's disease,缩写:AD),俗称早老性痴呆、老年痴呆,是一种发病进程缓慢、随着时间不断恶化的神经退化
  • 单氟磷酸钠单氟磷酸钠,化学式Na2PO3F,缩写MFP。单氟磷酸钠是一种白色固体,饱和水溶液在25°C时含单氟磷酸钠42%。可从0°C水溶液中获得单氟磷酸钠十水合物,结晶水若用加热方式除去,则导致水
  • 头孢氨芐头孢氨苄(英语:Cefalexin或英语:Cephalexin,又译先锋霉素Ⅳ、又作赐福力欣、头孢力欣、赐尔复新、西华烈信、施华林、喜化幸、雪华力欣、或赐泛立信等)。是一种半合成的第一代口
  • Netscape Navigator 9Netscape Navigator 9是网景导航者浏览器最后的版本,由美国在线旗下的网景制作。自2004年将第8版的Netscape Browser委交Mercurial Communications制作以来,第一个重回网景制
  • 肌红蛋白3RGK· oxygen binding · heme binding· transport · heart development · response to hormone stimulus · slow-twitch skeletal muscle fiber contraction ·
  • 尤皮克语尤皮克语(Yupik),阿拉斯加中西部和西伯利亚东北部尤皮克人所使用的语言,属于爱斯基摩-阿留申语系爱斯基摩语族。公元前2000年左右,阿留申语与爱斯基摩语开始分化。1000左右,尤皮克
  • 北卡罗莱纳州北卡罗来纳州(英语:State of North Carolina),简称北卡州,是位于美国南部区域大西洋海岸的一州。别称“柏油脚跟州”或“旧北州”。下辖100县。州府为罗利,最大的城市为夏洛特。北