递归定义

✍ dations ◷ 2025-12-01 14:43:17 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

酸类有机酸是指一些具有酸性的有机化合物，如羧酸和磺酸。羧酸，其酸性源于羧基 (-COOH)或磺酸基（SO3H）。有机酸一般为弱酸，但也有例外，如三氟乙酸接近于强酸，三氟甲磺酸为超强酸。大部分
中枢神经系统疾患中枢神经系统疾病，是指影响中枢神经系统内的人脑或脊髓结构或功能的神经系统疾病。每种疾病都有不同的体征和症状如持续性头痛；面部，背部，手臂或腿部疼痛；无法集中注意力；失去感觉
鹤鸵目鹤鸵目的动物本来归入鸵鸟目，现在已独立成为一目。它是动物分类学上是鸟纲中的一个目，包括鹤鸵、鸸鹋等动物。
蛮牛 (饮料)蛮牛是台湾保力达公司推出的机能性饮料，在台湾以及港澳地区贩售，是台湾提神饮料销售量的前几名之一。其广告用到的“你累了吗”也成为台湾的流行用语之一，廖嘉琛蛮牛先生为此系
灰色性向灰色性向（英语：grey-sexuality）是介于有性向和无性向之间的一种性取向，The Frisky将其定义为：“介于有性向与无性向之间，一种可以喜欢男性也可以喜欢女性的性取向”。被认为是灰色
杭嘉湖道杭嘉湖道是清朝时期设置的一个道。雍正四年（1726年）置，治所在嘉兴县（今浙江省嘉兴市），辖嘉兴、杭州、湖州三府。乾隆十九年（1754年），移驻杭州府（今杭州市）。民国初废。 *霸昌道 · 通永
亚当·耶日·恰尔托雷斯基亚当·耶日·恰尔托雷斯基亲王（波兰语：Adam Jerzy Czartoryski，1770年1月14日－1861年7月15日）是波兰、立陶宛贵族、军人、政治人物和作家。他是亚当·卡齐米日·恰尔托雷斯基和伊
莱昂纳多·亨里克斯·达·席尔瓦莱昂纳多·亨里克斯·达·席尔瓦（Leonardo Henriques da Silva，1982年7月22日－），一般称作莱昂纳多，巴西职业足球运动员，现效力于中超球队青岛中能。莱昂纳多出道于巴西球队瓜拉尼，20
吉娜·戴维斯弗吉尼亚·伊丽莎白·"吉娜"·戴维斯（Virginia Elizabeth "Geena" Davis，1956年1月21日－）是一位美国女演员、电影制片人、剧作家，前时尚模特，她还曾以射箭运动员的身份打入悉尼奥
巉口村墓群巉口村墓群（包括遗址），位于中国甘肃省定西市安定区，为一个省级文物保护单位，类型为古墓葬。巉口村墓群的历史年代为汉代。