递归定义

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

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

大部分的递归定义都由三个部分构成：基本情况的定义，递归法则和递归结束的情况。如果定义的对象是无限的，那么可以省略第三个部分（递归结束的情况）。比如说，可以用递归定义的方式来定义如下的一个自然数集上的函数 $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$ 的取值，这便是循环定义。

相关

基群基群（英语：Basal）是生物学中的术语，专指在亲缘关系学中最早分离出去的大型演化支，并且通常会位于亲缘分支分类法最底层处，是其它后来才分化出去的演化支的外类群。许多生物学家（特
神经病变周边神经病变（英语：Peripheral neuropathy，缩写PN）俗称神经系统疾病，是指神经系统的疾病或异常状态下的神经系统。虽然在大众文化中神经病常常是一种代替精神病的说法，但神经病实
大贝尔特桥坐标：55°20′29″N 11°02′10″E / 55.34139°N 11.03611°E / 55.34139; 11.03611大贝尔特桥（丹麦语：Storebæltsbroen，也有音译为斯托伯尔特桥）是一座连接丹麦西兰岛和菲英岛
运输司令部美国运输司令部 (USTRANSCOM)是美国国防部下辖一体化作战司令部之一，其职能是提供陆海空全领域的运输支持，保障国家将部队和物资投送到任何需要的地方。运输司令部的总部位于
食用蕈食用蕈，或称食用菌或食用菇、食菇，是可以食用的大型真菌子实体（不包括酵母菌、青霉菌等微生物）。决定真菌是否可以食用的因素包括毒性、味道、硬度、和气味。有些有毒的蕈类经过
1987年被中华人民共和国处决的死刑犯列表1987年被中华人民共和国处决的死刑犯列表，旨在列出1987年被中华人民共和国处决的死刑犯。
勃生坐标：16°46′27″N 94°43′54″E / 16.77417°N 94.73167°E / 16.77417; 94.73167勃生（缅甸语：ပုသိမ်မြို့）是缅甸伊洛瓦底省首府，在国境的西南方，伊洛瓦底江三角洲
上海财经大学出版社上海财经大学出版社是中华人民共和国的一家出版社，成立于1995年1月，社址位于上海市，由中华人民共和国教育部主管、上海财经大学主办。
科恩诉加利福尼亚州案科恩诉加利福尼亚州案（英语：），403 U.S. 15 (1971)，是美国最高法院有关言论自由的案件。一名男性因身穿一件写有“去他妈的征兵（Fuck the Draft）”（当时美国为越南战争征兵）的夹克，而被
萝卜粄萝卜粄是一种客家食品，做法是用将萝卜丝和粘米粉、五香粉、香菇、虾仁、鱿鱼、猪肉等按一定的比例搅拌成稠糊状再蒸熟透成形，客家人有冬至吃萝卜粄的习俗。