递归定义

✍ dations ◷ 2025-12-10 12:59:22 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

阅读框阅读框架（英语：Reading Frame）在分子生物学中是指将mRNA的碱基序列划分成连续、互不重叠的三元组的方式或这样的划分方式在相应DNA上的对应。这样的三元组称为密码子。每个密码
美洲原住民宗教美洲原住民宗教（英语：Native American religions）是美洲原住民族群的宗教习俗，其中原住民的传统仪式通常根据各个部落、氏族的历史与信仰之不同而有着很大的差异。因此，早期抵达
水瓶座宝瓶座（拉丁语：Aquarius，天文符号：♒），黄道带星座之一，面积979.85平方度，占全天面积的2.375%，在全天88个星座中，面积排行第十位。宝瓶座中亮于5.5等的恒星有56颗，最亮星为虚宿一（宝瓶座
诺基亚 Asha 309诺基亚 Asha 309（中国大陆官方称诺基亚 3090）是诺基亚推出的一款Asha系列的全触控界面的非智能手机，它支持电容式多点触控，是目前诺基亚推出的价格最低的电容屏手机之一，它也支持
纵贯阿拉斯加管道纵贯阿拉斯加管道，俗称阿拉斯加输油管（英语：Trans-Alaska Pipeline System，简称TAPS，州内俗称the Alyeska Pipeline，州外俗称Alaska Pipeline）是连接美国阿拉斯加州北部产油区和
康斯坦丁·米考塔泽康斯坦丁·米考塔泽（格鲁吉亚语：Konstantin Mikautadze；1991年7月1日－）是一位乔治亚橄榄球运动员。他是乔治亚国家橄榄球队的一员，代表乔治亚参加了2015年世界杯橄榄球赛。
羊角菊石见内文羊角菊石（学名：），又名公羊齿菊石，是生存于白垩纪的一属菊石，生活在中等深度的大陆棚海域中。其化石分布于欧洲、非洲、亚洲和美洲。羊角菊石的外壳盘卷得很松，外观犹如盘曲的
阿立祖阿立祖为台湾平埔族原住民西拉雅族的祖灵信仰，成大教授石万寿指出该名词是西拉雅语的“祖先”（西拉雅语：alid、aritt:87）发音与汉语“祖”结合而成的名词。而在荷治时期，尤罗伯牧
白沙镇 (成都市)白沙镇，是中华人民共和国四川省成都市双流区下辖的一个乡镇级行政单位。2019年12月，撤销新兴镇、白沙镇，设立新兴街道。白沙镇下辖以下地区：白沙场社区、白沙村、百合村、盛华村
西表石垣国立公园西表石垣国立公园是位于日本琉球列岛八重山群岛的石垣岛、西表岛及附近岛屿、海域的国立公园，陆地面积20,569公顷，海域面积46,600公顷。于1972年4月18日由琉球政府成立为国立