递归集合

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

相关

  • 帕金森帕金森综合征(Parkinsonism)是和运动机能相关的临床综合征,其特征是颤抖、运动功能减退、僵硬(英语:Rigidity (neurology))及平衡障碍(英语:balance disorder)。在帕金森病(PD)患者身上
  • 军人和平期间罕见军事强国有实力编制普通国家有实力编制军人,是对国家军队中现役武职人员的称呼,类似古代的武士、骑士。其职责是保卫国家安全,保卫及守护国家边境,政府政权稳定,社会
  • 崇祯崇祯(1628年—1644年)是明朝末代皇帝明思宗朱由检的年号,也是明朝的最后一个年号。朱由检于天启二年(1622年)被其兄长明熹宗册封为信王。天启七年(1627年)明熹宗驾崩,信王朱由检即位
  • DIHP邻苯二甲酸二异庚酯(英语:Diisoheptyl phthalate)是一种邻苯二甲酸酯,由一个邻苯二甲酸和两个异庚醇酯化形成,化学式为 C22H34O4,常作为塑化剂使用。
  • 吗氯贝胺吗氯贝胺(商品名也作Amira、Aurorix、Clobemix、Depnil或Manerix)是主要用于治疗抑郁症和社交焦虑的单胺氧化酶A(RIMA)药物的可逆抑制剂。它在美国不被允许使用,但在其它西方国家
  • 磺胺恶唑磺胺恶唑是一种磺胺类药物,其INN名称是“Sulfamoxole”。该药物可用于治疗由细菌感染引发的疾病等病症。该药物在血液中的半衰期尚不明确,在大鼠体内的LD50(半致死量)为大于1250
  • 1933年证券法《1933年证券法》(Securities Act of 1933)是美国在1929年的华尔街股市风暴及随后的大萧条背景下所通过的法案。
  • 巴西卢佐岛巴西卢佐岛(Basiluzzo)是意大利西西里岛北侧的火山岛岛链伊奥利亚群岛中面积最小的一个岛,面积只有1 km²。位置介于帕纳雷阿岛和斯特龙博利岛之间。其古代名称为"Hycesia"。坐
  • 伊斯兰文明相关系列部分阿拉伯 · 阿塞拜疆 印度伊斯兰 · Iwan · 马来族 摩尔人 · 摩洛哥 · 莫卧儿 奥斯曼 · 波斯 · 索马里 苏丹-萨赫勒 · 鞑靼书法 · 细密画 
  • 陈述句陈述句是陈述一个事实或者说话人的看法,在陈述别人的话的时候,不需要用引号来框起来。它包括肯定句和否定句。陈述句在书写时句末通常用句号。