首页 >
递归集合
✍ dations ◷ 2025-06-06 14:32:36 #递归集合
在可计算性理论中,一个自然数的子集被称为递归的、可计算的或具可判定性,如果我们可以构造一个算法,使之能在有限时间内终止并判定一个给定元素是否属于这个集合。更一般的集合的类叫做递归可枚举集合。这些集合包括递归集合,对于这种集合,只需要存在一个算法,当某个元素位于这个集合中时,能够在有限时间内给出正确的判定结果,但是当元素不在这个集合中时,算法可能会永远运行下去(但不会给出错误答案)。自然数的子集 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)是递归集合。
相关
- 公共事业振兴署公共事业振兴署(英语:Works Progress Administration, WPA)(1935年-1943年),大萧条时期美国总统罗斯福实施新政时期建立的一个政府机构,以助解决当时大规模的失业问题,是新政时期(以及
- 抗肿瘤药抗肿瘤药(英语:Anticancer Drugs,Antitumor Drugs,Antineoplastic Agents)也称为抗癌药、抗恶性肿瘤药,是指治疗恶性肿瘤的药物。此类药物通过多种途径杀灭或抑制癌细胞来达到治疗
- 强心苷强心苷,属于一种历史悠久的经典的强心药。 药物有
- 日本汉方医学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学日本汉方医学,是日本的传统医学之一,其
- 无氧呼吸呼吸作用,又称为细胞呼吸(Cellular respiration),是生物体细胞把有机物氧化分解并转化能量的化学过程,也称为释放作用。无论是否自养,细胞内完成生命活动所需的能量,都是来自呼吸作
- (8-)8-氨基喹啉是一种有机化合物,喹啉环上的8位被氨基取代。可用作医药中间体。8-氨基喹啉可在钴钼硫化物催化剂存在下,由氢气还原8-硝基喹啉得到。磷酸伯氨喹帕马喹他非诺喹
- 中时电子报中时电子报是中国时报集团旗下的电子报,目前隶属于时报资讯。时报资讯成立于1989年,是台湾第一家取得加值网络服务执照的公司;中时电子报则在1995年创立,是台湾历史上最为悠久的
- 环境科学环境科学为跨学科领域专业,既包含像物理,化学,生物,地质学,地理,资源技术和工程等的物理科学,也含有像资源管理和保护,人口统计学,经济学,政治和伦理学等社会科学。环境科学包含了影响
- 健忘性失忆症(Amnesia,来自希腊语ἀμνησία),又称失忆症候群(amnesic syndrome),是一种记忆混乱的疾病。简单来说就是丧失记忆,包含丧失部分记忆或丧失全部记忆。失忆症的成因包括器
- 一阶逻辑一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统。过去一百多年,一阶逻辑出现过许多种名称,包括:一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑