递归可枚举集合

✍ dations ◷ 2025-07-24 17:23:06 #递归可枚举集合
递归可枚举集合(英语:Recursively enumerable set)是可计算性理论或更狭义的递归论中的一个概念。可数集合S被称为是递归可枚举、计算可枚举的、半可判定的或可证明的,如果或者等价的说,包含所有可递归枚举集合的复杂性类是 RE。共同的编程意义会暗示出如何转换一种算法到等价的另一种算法。第一种情况说明了为什么有时说半可判定的,而第二种情况说明了为什么叫计算可枚举的。可数集合 S {displaystyle S} 是递归可枚举的,如果存在一个偏可计算函数 f {displaystyle f} 使得换句话说, S {displaystyle S} 是 f {displaystyle f} 的域:(注意这是偏函数的域的两种可能意义之一,是在递归论中所偏好的定义域。参见在偏函数中的讨论。)集合 S {displaystyle S} 被成为 co-递归可枚举的或 co-r.e.,如果 S {displaystyle S} 的补集是递归可枚举的。可数集合 S {displaystyle S} 被叫做递归可枚举的,如果存在着一个偏可计算函数 f :⊆ N → S {displaystyle f:subseteq mathbb {N} to S} ,使得 S {displaystyle S} 是 f {displaystyle f} 的值域:f {displaystyle f} 被称为枚举函数,因为它关联上一个枚举上的次序(rank)到 S {displaystyle S} 的每个元素。因为邱奇-图灵论题声称可计算函数被图灵机和其他计算模型等价的定义,我们陈述定义为这也是递归可枚举集合的常见定义。如果 A 和 B 是递归可枚举集合,则 A ∩ B、A ∪ B 和 A × B 是递归可枚举集合。集合 A 是递归集合,当且仅当 A 和 A 补集二者是递归可枚举集合。递归可枚举集合一个可计算函数下的原像是递归可枚举集合。

相关

  • 灰婴症候群灰婴症候群,或称灰婴症及灰婴综合征,是一种初生婴儿在接受静脉注射氯霉素后出现的罕见严重副作用。初生婴儿由于并未能完全自行建立体内的酶,尤其是肝脏负责代谢的酶,去处理或分
  • 乳房乳房(拉丁语:Mamma)位处于哺乳动物的胸部或腹部,左右成对出现。雌性的乳房包含乳腺等腺体,可分泌乳汁哺育幼儿。男性乳房一般不发育,但存有乳腺组织。在胚胎期雄性和雌性有相同的
  • 抗高血压药抗高血压药(英文:Anti-hypertensives)肼屈嗪 米诺地尔 硝普钠含羧基类: 依那普利# • 雷米普利 • 喹那普利 • 培哚普利 • 赖诺普利 • 贝那普利含次膦酸基类: 福辛普利 其
  • 体格检查体格检查(physical examination、medical examination、clinical examination、check-up),简称体检,也称做身体检查、理学检查或健康检查,是医生运用自己的感官、检查器具、实验
  • 成功大学国立成功大学校务基金 20,518,898,000元国立成功大学(英语:National Cheng Kung University,缩写为NCKU或 National Koxinga University),简称成大、成功大学,是一所位于台湾台南
  • 波萝勉省波萝勉省(高棉语:ខេត្តព្រៃវែង,高棉语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode",
  • 改革派犹太教改革派,或称犹太教自由派、犹太教进步派,为犹太教在众多现代派别中,自认为是最进步的一派。这一派认为信仰须与时并进,并经由自身经验与理论而得,而非从律法书而来。他们重
  • 不明原因肺炎不明原因肺炎可以指:在传染病学领域,“不明原因肺炎”是中华人民共和国传染病防治体系中的一个分类。根据中华人民共和国卫生部于2007年5月10日公布的《卫生部关于印发〈全国
  • 红眼结膜炎(英语:Conjunctivitis,亦称Pink Eye),俗称红眼症,是一种发生在结膜的炎症,也会发生在眼睑内侧表面,会让眼睛泛红或带有粉红色,可能会很痒、疼痛、有灼热感或搔痒感,罹患结膜炎的
  • 面试面试,又称口试,是用人单位和应聘者之间见面交流的一种就业测试,是用人单位选择员工最常用的方法。工作面试主要考核应聘者的智力水平、相关工作经验、教育背景、生理状况(负重、