递归定义

✍ dations ◷ 2025-11-26 20:31:36 #递归论,定义,理论计算机科学,数理逻辑

递归定义是数理逻辑和计算机科学用到的一种定义方式，使用被定义对象的自身来为其下定义（简单说就是自我复制的定义）。递归定义与归纳定义类似，但也有不同之处。递归定义中使用被定义对象自身来定义，而归纳定义是使用被定义对象的已经定义的部分来定义尚未定义的部分。不过，使用递归定义的函数或集合，它们的性质可以用数学归纳法，通过递归定义的内容来证明。

大部分的递归定义都由三个部分构成：基本情况的定义，递归法则和递归结束的情况。如果定义的对象是无限的，那么可以省略第三个部分（递归结束的情况）。比如说，可以用递归定义的方式来定义如下的一个自然数集上的函数 $f {\displaystyle f}$ $f$ ：

这个定义在逻辑上是成立的，因为它首先定义了 $f {\displaystyle f}$ $f$ 在最小的自然数0上的取值，接下来对每个大于零的自然数 $n {\displaystyle n}$ $n$ ，只要重复有限多次定义的过程，最终就会回到对0的定义上。这样定义出的函数 $f {\displaystyle f}$ $f$ 就是阶乘函数。

递归定义和循环定义的不同之处在于，后者不包括对基本情况的定义。比如定义建立在整数集上的函数 $g {\displaystyle g}$ $g$ ：

则我们永远无法确定 $g {\displaystyle g}$ $g$ 的取值，这便是循环定义。

相关

化学工程化学工程，简称化工，是研究以化学工业为代表以及其他过程工业（例如石油炼制、冶金、食品及印染工业等）生产过程中有关化学过程与物理过程的一般原理和规律，并且应用这些规律来解决
迈克耳孙－莫雷实验迈克耳孙－莫雷实验是为了验证“以太”存在与否而做的一个实验，1887年由阿尔伯特·迈克耳孙与爱德华·莫雷合作在美国的克利夫兰进行。当时的物理理论认为，光的传播介质是“以太
川南行政区 (1950–1952)川南行政区是中华人民共和国建国后成立的省级行政区，于1950年至1952年存在。1949年12月，西南战役结束，解放军攻占四川全省。由于四川省地域较大，人口近八千万，为便利行政管理，分划
稻水鼠属稻水鼠属（Sigmodontomys），哺乳纲、啮齿目、仓鼠科的一属，而与稻水鼠属（哈氏稻水鼠）同科的动物尚有暖鼠属（暖鼠）、南美岭鼠属（金岭鼠）、棉鼠属（棕棉鼠）、褐鼷鼠属（褐鼷鼠）等之数种哺乳动物
北婆罗太平洋战争爆发时，婆罗洲可以分为五个区域。其中位于北方的四个由英国统治：砂拉越、文莱、纳闽和英属北婆罗洲。剩余的南方大片土地则是荷属东印度（今印尼）的管辖范围。由于婆罗
下城曼哈顿下城（英语：Lower Manhattan，或称Downtown Manhattan）是美国纽约市曼哈顿最南端的部分，其最常见的边界是北到14街，西到哈德孙河，东至东河，南到纽约港（也称为上纽约湾）。当提到曼
成纤维细胞生长因子受体成纤维细胞生长因子受体（英语：fibroblast growth factor receptors，FGFR）是一类与成纤维细胞生长因子结合的受体蛋白质家族，正如其名字所暗示的。这类受体涉及了一些病理条件。例
假想防卫假想防卫是指行为人由于因误认为自身受到不法侵害而实施防卫，结果造成伤害的行为。依据认识错误的原理不同，可分为按过失或按意外事件论处两种处理方式。两者均为在对方没有真
圣路易 (塞内加尔)圣路易（法语：Saint-Louis），沃洛夫语名为恩达尔（Ndar），塞内加尔西北部的一座城市，是圣路易区的首府，2005年估计人口为176,000。该城位于塞首都达喀尔以北约300千米的塞内加尔河河口处，
早安家族早安家族（日语：ハロー!プロジェクト），常以较接近日语原意的官方英译“Hello! Project”称之，简称“H!P”，是由日本音乐人淳君综合制作、并隶属于演艺经纪公司UP-FRONT AGENCY旗下