递归定义

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

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

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

相关

第十二届全国人民代表大会中华人民共和国第十二届全国人民代表大会（简称第十二届全国人大），有2987名代表，任期从2013年3月到2018年3月。第十二届全国人大第一次会议于2013年3月5日至17日在北京举行，会议审
贝克尔古斯塔沃·阿道夫·贝克尔（西班牙语：Gustavo Adolfo Bécquer，1836年2月17日－1870年12月22日）是西班牙浪漫主义诗人，短篇小说作家，剧作家，文学艺术评论家和专栏作家。他是西班牙文学
下川凹天下川凹天（日语：下川凹天／しもかわへこてん（おうてん） Shimokawa Hekoten/Ōten、1892年5月2日－1973年5月26日）是一名日本漫画家兼动画作者。本名为“下川貞矩”（しもかわさだのり
英联邦大学协会英联邦大学协会（英语：Association of Commonwealth Universities，缩写：ACU）是一个英联邦体系的国家之下，有480余所成员大学的教育相关组织，其宗旨是“我们为我们的成员机构服务，以提
第一次牛奔河之役第一次马纳萨斯战役（First Battle of Manassas）也称第一次布尔河战役（First Battle of Bull Run）于1861年7月21日发生在弗吉尼亚的马纳萨斯和布尔河附近，是第一场南北战争中的重
姓姓是中国作表示血缘集团的名称，其所指范围随着地域和时代变动，氏则是姓的分支。随着同一祖先的子孙繁衍增多，这个家族往往会分成若干支散居各处。各个分支的子孙除了保留姓以外
靖州苗族侗族自治县靖州苗族侗族自治县（靖县）位于湖南西南边缘、怀化市南部，为怀化市辖自治县。辖域面积2,211平方公里；国内生产总值159,048万元（2004年）；总人口为26.17万人（2004），其中市镇人口9.68万人，
蝴蝶小姐《蝴蝶小姐》（Butterflies Are Free）是美国电影，于1972年上映。
陶汉林陶汉林（1991年6月4日－），生于山东省济南市，中国职业篮球运动员，司职中锋。
诺尼诺国际文学奖诺尼诺国际文学奖（英语：Nonino）起源于渣酿白兰地酒公司，由意大利诺尼诺家族建立，只颁发给意大利以外的国家。