递归集合

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

相关

  • 鼻窦炎鼻窦炎(Sinusitis)是描述发生于鼻窦的炎症。常见症状包含浓厚鼻涕、鼻塞,以及脸部疼痛。其他症状包含发烧、头痛、嗅觉减退、喉咙痛,以及咳嗽。咳嗽会于夜间加剧。严重副作用较
  • 胃食管反流病胃食道逆流(英文:Gastroesophageal reflux disease、heartburn reflux,缩写:GERD),或称作胃食管反流病、胃酸倒流等,是指胃酸(有时加上十二指肠液)长期不正常地向上反流进入食道甚至
  • 循环性情感症循环性情感症(Cyclothymia)是情感障碍之一、躁郁症的一种形式。在极性病谱中有定义此症。具体而言,此疾患属于较轻微形式的第二型双极性疾患,伴随着时常在欢欣鼓舞与低落沮丧之
  • 主要机构《联合国宪章》规定,联合国有六大主要机构:联合国大会、安全理事会、经济及社会理事会、托管理事会、秘书处和国际法院。其中,托管理事会随着联合国最后一块托管领土帕劳的独立
  • 失业意指未获得任何有薪工作的状态。在经济学范畴中,一个人愿意并有能力为获取报酬而工作,且有获取工作的行动,但却没找到工作的情况,就被认为是失业。失业率是劳动人口里符合“失业
  • 妊娠期妊娠期是指雌性哺乳动物从受精至分娩的这段时间。 不同的动物的妊娠期是不同的。大多数物种妊娠期的长短取决于胎儿出生时的体型。小型动物的妊娠期通常比大型动物短。 例
  • 恶病质恶病体质(Cachexia)代表因疾病引起的体重减轻以及肌肉量减少,呈现衰落的状态,通常为癌症或艾滋病等严重疾病引起的并发症。
  • 微管组织中心微管组织中心(英语:Microtubule organizing center)是存在于真核细胞内的一种结构,微管在该处聚合。微管组织中心有两个主要功能:微管组织中心可供形成微管核,在细胞中可以使用免
  • 汉语诸方言汉语族(或汉语语族、汉白语族)为汉藏语系的一支。关于其所包含的语言种类,在语言学界主要有两种不同观点:一种认为汉语族只有汉语一种语言;另一种认为汉语族包含官话、湘语、赣语
  • 印刷体印刷体,指印刷时用的字体或类似印刷时用的字体。英文印刷体有Times New Roman等,中文印刷体有宋体等。印刷体横平竖直,字符框架搭得很规范。印刷体主要分为衬线体和非衬线体两