递归集合

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

相关

  • 军团病军团病,又名退伍军人症是由军团菌引发的非典型肺炎。 其症状包括咳嗽、呼吸困难、发热、肌肉疼痛、头痛。有时亦会发生恶心、呕吐、腹泻。军团病的症状通常在暴露后两到十天
  • 疟原虫疟原虫属(Plasmodium)是一类单细胞、寄生性的囊泡虫。本属生物通称为疟原虫。本属生物中有五种疟原虫会使人类感染疟疾,包括恶性疟原虫(Plasmodium falciparum)、三日疟原虫(Plasm
  • 单细胞生物生物可以根据构成的细胞数目分为单细胞生物和多细胞生物。单细胞生物只由单个细胞组成,而且经常会聚集成为细胞集落。单细胞生物能独立完成新陈代谢及繁殖等活动。地球上最早
  • 组织胺组胺(英语:Histamine),是一种有机含氮的环状化合物。它参与局部免疫反应和炎症反应,并具有作为瘙痒介体中心与调节肠道生理功能的作用。它还被用作神经递质。组胺由嗜碱性球和附
  • 头孢唑肟头孢唑肟(英文名Ceftizoxime)也称为“安保速灵”“安普西林”“头孢去甲噻肟”“去甲噻肟头孢菌素”或“去甲酰氧甲基唑肟头孢菌素”,是一种不经肠的第三代头孢菌素,常以头孢唑
  • 高平省高平省(越南语:Tỉnh Cao Bằng/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","M
  • 语言习得语言习得(英语: language acquisition,又译“语言悉得”〔因为此概念与学习无关〕)是人类语言发展的进程,也是典型的人类特有的特征之一,因为非人类的生物不使用语言交流。第一
  • 腓力二世 (马其顿)腓力二世(希腊语:Φίλιππος Β' ο Μακεδών,前382年-前336年),为马其顿国王 (前359年-前336年),是阿敏塔斯三世和欧律狄刻最小的儿子,出生于佩拉。他是亚历山大大帝和腓
  • 法利赛人法利赛人(.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek",Cardo,"Gentium Plus",Gentium,"Theano Di
  • 肛瘘肛瘘是指直肠或肛管与肛周皮肤之间形成的瘘管。也称为肛门直肠瘘,但一般都称为肛瘘,古时又称为肛漏,先也有俗称“老鼠偷粪”。瘘管的内口多位于齿状线附近,而外口位于肛周皮肤。