首页 >
递归集合
✍ dations ◷ 2025-09-14 05:36:54 #递归集合
在可计算性理论中,一个自然数的子集被称为递归的、可计算的或具可判定性,如果我们可以构造一个算法,使之能在有限时间内终止并判定一个给定元素是否属于这个集合。更一般的集合的类叫做递归可枚举集合。这些集合包括递归集合,对于这种集合,只需要存在一个算法,当某个元素位于这个集合中时,能够在有限时间内给出正确的判定结果,但是当元素不在这个集合中时,算法可能会永远运行下去(但不会给出错误答案)。自然数的子集 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)是递归集合。
相关
- 机械感受器力学感受器(mechanoreceptor),或称为机械感受器、机械型刺激感受器,是一种感受压力、变形等力学性刺激的感受器。在人类光滑皮肤中主要包含如下四种类型:帕西尼氏小体、触觉小体
- 球杆菌球杆菌(英语:coccobacillus 複數時:coccobacilli)是一种形状介于球菌、杆菌之间的微生物。它的形状是非常短的杆形,因而常常被误认为球菌。流感嗜血杆菌,阴道加德纳菌和沙眼衣原体
- EoL网络生命大百科(英语:Encyclopedia of Life,缩写:EOL)是一个免费的在线协作百科全书,旨在记录所有生物的科学知识,由世界各地的专家和非专家的贡献编制。旨在为每个物种构建一个“
- 古虫界古虫界(学名:Excavata)是单细胞生物的一个主要超级群组,属于真核生物域,由汤玛斯·卡弗利尔-史密斯于2002年引入的一个新的支序亲缘学分类。古虫界包含了许多自由生存或共生的原
- 半电池半电池是一个包含可导电电极、电解质及分离两者而自然形成的双电层结构。该层内的化学反应会在电极和电解质之间移动电荷,从而形成电位差。典型的阳极反应为电极上的金属原子
- 颗粒剂中药配方颗粒、中药免煎颗粒,是指“供配伍用中药颗粒”,即是将单味或复方中药材,利用颗粒剂的工艺技术,经水煎煮抽提、过滤、浓缩后,再制成颗粒,使相关药材能以温水冲溶口服,方便储
- 弥散性血管内凝血弥散性血管内凝血(英语:Disseminated Intravascular Coagulation,简称DIC),又称消耗性凝血病,是指在某些致病因子的作用下,大量促凝物质入血,凝血因子和血小板被活化,使凝血酶增多,微
- 依赖型人格障碍依赖型人格障碍(英语:dependent personality disorder,缩写为DPD),旧称无力型人格障碍,是以心理上的过分依赖他人为特征的一种人格障碍。这种人格障碍的状况是长期存在的(慢性的)。
- 奥摩语族奥摩语族是出现在埃塞俄比亚西南部的语言统称,常被界定为亚非语系(闪含语系)的语族之一。奥摩语族的语言带少许的胶着语性质,而部分语言用吉兹字母书写。
- 同音汉字书写规则陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧