递归集合

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

相关

  • 松冈洋右松冈洋右(1880年3月4日-1946年6月27日),日本外交官、政治家。处理过日本退出国际联盟,签定日德意三国联盟,日苏中立条约等第二次世界大战(太平洋战争)全面爆发前日本外交的多次重要
  • 第十一版国际疾病分类人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学国际疾病分类第十一版(简称ICD-11),或称
  • 螨虫见内文蠕形螨属(学名:Demodex),又称毛囊螨或毛囊虫,亦即俗称的“螨虫”的一部分,是小型寄生螨类的一个属。 常寄生于哺乳动物的毛囊内。目前已知蠕形螨有约65个种,140多个亚种;它们
  • 膀胱输尿管返流膀胱输尿管返流(Vesicoureteral Reflux、VUR)是尿从膀胱到输尿管或肾的异常地反向性地流动。尿液的正常运行是从肾脏进经由输尿管到膀胱。出生前胎儿的膀胱输尿管反流的症状
  • 尺骨尺骨(拉丁语:Ulna)是位在人体上肢中前臂内侧的骨头,即在尾指侧的骨,在桡骨之旁。在靠近上臂处有一半月形的关节面,称为滑车切迹,与肱骨滑车共同形成关节。切迹上方有两个突起,分别称
  • 钠硫电池钠硫电池是一种由液体钠(Na)和硫(S)组成的熔盐电池。这类电池拥有高能量密度、高充/放电效率(89-92%)和长寿命周期,亦由廉价的材料制造。由于本电池操作温度高达300至350°C,
  • 三联疫苗三联疫苗可以指:
  • 在化学中,元素周期表中的每一栏的化学元素称为族(英语:Group,Family)。长式周期表共分成18族,而f区元素的字段(在第3族和第4族之间)没有编号。同一族中的元素(尤其是主族元素)具有相似
  • B细胞慢性淋巴细胞白血病慢性淋巴细胞性白血病,Chronic lymphocytic leukemia,简称CLL ,这是一种最常见的白血病 主要影响B细胞。B细胞来自于骨髓,在淋巴结中发育,它主要的功能是产生抗体。在CLL中,B细胞
  • 胃小凹胃小凹(英语:gastric pits)是位于胃区表面的微小凹陷,也是胃腺的出口。胃小凹在幽门中的深度比在其他胃的部位中来的深。人类拥有数百万个胃小凹分布在胃的上皮组织中。胃液是由