首页 >
递归集合
✍ dations ◷ 2025-04-02 20:53:28 #递归集合
在可计算性理论中,一个自然数的子集被称为递归的、可计算的或具可判定性,如果我们可以构造一个算法,使之能在有限时间内终止并判定一个给定元素是否属于这个集合。更一般的集合的类叫做递归可枚举集合。这些集合包括递归集合,对于这种集合,只需要存在一个算法,当某个元素位于这个集合中时,能够在有限时间内给出正确的判定结果,但是当元素不在这个集合中时,算法可能会永远运行下去(但不会给出错误答案)。自然数的子集 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)是递归集合。
相关
- 9-CM以下是国际疾病与相关健康问题统计分类(ICD)第九版的编码列表:
- 古生物学古生物学是研究古地质时代中的生物及其发展的科学。它是生物学和地质学的交叉科学。既是生命科学中唯一具有历史科学性质的时间尺度的一个独特分支,研究生命起源、发展历史、
- 司法机构议长:南希·裴洛西(民主党) 多数党领袖(英语:Party leaders of the United States House of Representatives):斯坦利·霍耶(民主党) 少数党领袖(英语:Party leaders of the United Sta
- 巨核细胞巨核细胞(英语:Megakaryocyte,也称为大核细胞及单核巨细胞)是负责产生血液凝血细胞(血小板)的一种骨髓细胞,血小板是正常血液的血块形成所必需的。通常情况下,一万个骨髓细胞有一个
- 工程核工程(英语:Nuclear engineering)是工程学的一门分支,是原子核物理学的工程应用层面,主要领域有核电、核医学、核子材料学与辐射度量等方面。但也和一些国际性议题有关连,如:核武
- Ba6s22,8,18,18,8,2蒸气压第一:502.9 kJ·mol−1 第二:965.2 kJ·mol−1 第三:3600 kJ·mol主条目:钡的同位素钡(Barium)是化学元素周期表中的元素,它的原子序数是56,化学符号是Ba。它
- 中国科技部1999年规定:印章直径5厘米,中央刊国徽,由国务院制发。中华人民共和国教育部中华人民共和国财政部中国科学院中国工程院国家国防科技工业局中央军委装备发展部中国科学技术协会
- 恶性上皮细胞肿瘤癌(Carcinoma),有翻译为恶性上皮细胞肿瘤,是癌症的一种。在医学上专指由上皮组织来源的恶性肿瘤,其它由结缔组织来源的恶性肿瘤只称作恶性肿瘤,如:肌肉或骨骼的恶性肉瘤(Sarcoma)、黑
- 竞业条款竞业条款(Business Strife Limitation Clause of Labor Contract),又称“同行竞业条款”或“竞业禁止条款”(non-compete clause),为雇主与受雇的员工之间所订的一种劳动契约,其内
- 高低重音高低重音或音高重音(英语:Pitch accent),是一种重音。在高低重音语言里,一个词里的每个音节的音调取决于该音节在词里出现的位置。而声调语言中,每个音节有自己固定的声调,它的声调