递归定义

✍ dations ◷ 2025-12-07 15:45:57 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

结核杆菌结核杆菌，即结核分枝杆菌（学名：Mycobacterium tuberculosis）是专性需氧微生物，1882年德国微生物学家罗伯·柯霍在柏林宣告它是结核病的病原体。他凭着此发现获得了1905年诺贝尔生
PGI2前列环素（英语：Prostacyclin，简称为PGI2）是脂类中类花生酸家族中的一个成员，分子中有一个次级五元环，其前体是花生四烯酸或其他二十碳不饱和脂肪酸。前列环素会抑制血小板介导的凝
遁天神盗《遁天神盗》又名《幻影车神》是2004年的印度电影，可以说是一部武打剧情片。此片当年在印度获得成功，两年后还续拍了《遁天神盗 2》。本片开头，一群强盗竟斗胆在光天化日之下搶
王淀佐王淀佐（1934年3月23日－），中国矿物工程学家。生于辽宁凌海。1961年毕业于中南矿冶学院选矿系。1994年选聘为中国工程院院士。北京有色金属研究总院教授、名誉院长，中国工程院副院
Mg(Csub6/subHsub5/sub)sub2/sub二苯基镁是一种金属有机化合物，化学式为Mg(C6H5)2，它在标准状况下是无色固体。它可由镁和二苯基汞反应得到。它和二甲基镁有如下可逆反应：而和氯化镁之间的可逆反应，在乙醚溶剂
大移民潮大移民潮是指十九世纪上半波兰人口大规模移出的现象，造成这股移民潮的直接原因为十一月起义的失败。这股移民潮具爱国政治意涵，移民者主要是贵族、起义军、国民政府成员、政治
Boyfriend (男子团体)BOYFRIEND（韩语：보이프렌드，日语：ボーイフレンド），为韩国的男子团体，于2011年5月24日在Mnet节目《M!Pick》首次亮相，并于同年5月26日在《M! Countdown》正式出道。团体由东玄、贤星
尖吻棘鳞鱼尖吻棘鳞鱼（学名：，又称尖吻金鳞鱼、棘鳂，俗名金鳞甲、铁甲兵、铁线婆）是辐鳍鱼纲金眼鲷目金鳞鱼科棘鳞鱼属的其中一种鱼类。本鱼分布于印度太平洋海域，东至夏威夷、西到红海及东非
苏坡街道苏坡街道，是中华人民共和国四川省成都市青羊区下辖的一个乡镇级行政单位。苏坡街道下辖以下地区：中鹏社区、清波社区、中坝社区、百仁社区、黄土社区、培风社区、万家湾社区、
温布赖尔峰坐标：46°33′3″N 10°24′57″E / 46.55083°N 10.41583°E / 46.55083; 10.41583温布赖尔峰（意大利语：Piz Umbrail），是南欧的山峰，位于瑞士和意大利接壤的边境，属于奥特勒阿尔卑