首页 >
递归集合
✍ dations ◷ 2025-04-26 12:16: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)是递归集合。
相关
- UprifosbuvirUprifosbuvir(MK-3682)是一种开发用于治疗丙型肝炎的抗病毒药物。它是一种核苷酸类似物,可用作NS5B RNA聚合酶抑制剂,目前处于III期人体临床试验中。
- 精神活性物质精神药物(英语:psychoactive drug),又称精神药品(psychopharmaceutical,或psychotropic)。有些精神药品具有医疗和科学价值。一种化学物质的概称,这些物质能够穿越血脑屏障,直接作用
- 循环性情感症循环性情感症(Cyclothymia)是情感障碍之一、躁郁症的一种形式。在极性病谱中有定义此症。具体而言,此疾患属于较轻微形式的第二型双极性疾患,伴随着时常在欢欣鼓舞与低落沮丧之
- 高血压性肾病高血压性肾病(Hypertensive nephropathy、"高血压性肾硬化"(hypertensive nephrosclerosis)、"高血压肾病"(Hypertensive renal disease))是一种医学病症、指的是由慢性高血
- 骨盆髋(拉丁语:pelvis),又称腰带、骨盆、盘骨,是一个骨骼构造,位于脊椎末端,连接脊柱和股骨,与四足动物的后肢、双足动物的下肢相连。股骨与腰带在臀部连接处形成髋关节,它是球窝关节。健
- 吞噬吞噬作用(英语:phagocytosis,来自古希腊语φαγεῖν)亦称吞食、噬菌作用,是吞噬细胞和原生动物通过细胞膜从周围环境摄取固体颗粒,并在其内部形成吞噬体的过程。吞噬作用是细胞
- 氟替卡松氟替卡松(fluticasone)为一种综合的糖皮质激素。与糠酸酯(furoate)或丙酸酯(propanoate)的合成品可以用为局部抗炎性、比如鼻炎方面:
- 兴庆区兴庆区,即原城区或老城区,是中华人民共和国宁夏回族自治区银川市辖下的一个区,因西夏时期的兴庆府而得名。面积共757.6平方公里,人口约41万。银川市兴庆区,是该自治区的首府银川
- 运动创伤运动损伤又称运动创伤或运动伤害(英语:Sports injuries),指在体育运动或体能锻炼过程中发生的创伤。例如在美国,据估计有三千万青少年参与过某种形式的有组织运动,其中每年又有三
- IgE抗体免疫球蛋白E(英语:Immunoglobulin E,简称IgE)是一类只发现于哺乳动物内的抗体,是正常人血清中含量最小的免疫球蛋白。免疫球蛋白E由黏膜下淋巴组织中的效应B细胞合成,IgE的单体由