递归定义

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

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

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

相关

相同方式共享相同方式共享（英语：Share-alike）是著作权授权方面的术语之一，最初由知识共享计划开始使用，其要求对作品进行重利用或分发时，采用与原作品相同或相似的许可协议。带有相同方式共享
驼背大马哈鱼粉红鲑（学名：Oncorhynchus gorbuscha），又称为驼背鲑、细鳞麻哈鱼、驼背大麻哈鱼，为麻哈鱼属的一个种。分布于太平洋北部及其沿岸河流，如绥芬河、图们江等，属于洄游性鱼类。其常见于
朗达卡嫩塔夫朗达卡嫩塔夫（英语：Rhondda Cynon Taf）是英国威尔士南部的一个郡级自治市，成立于1996年，面积共424平方公里，2011年的人口为234,400人，23.3%的人使用威尔士语。城市的东部与卡菲利和
东北大鼓东北大鼓是中国曲艺曲种之一，起源并流行于中国东北地区，因一度盛行于沈阳，故曾有“奉天大鼓”之称。东北大鼓最初的表演形式是演唱者一人操小三弦自行伴奏说唱，并在腿上绑缚“节
鉴湖鉴湖原名镜湖，相传黄帝铸镜于此而得名，又称长湖、镜湖、庆湖，位于中国浙江省绍兴市西南1.5公里，古为大型农田水利工程之一，现为浙江名湖之一。东汉顺帝永和五年（140年），会稽太守马臻
十界十界（梵语：दस धातवः，转写：dasa-dhātavaḥ），又名十法界或十界为果，佛教术语，将众生分为十种界。分别是指：佛界、菩萨界、缘觉界、声闻界、天界、人界、阿修罗界、畜牲界、饿鬼
地幔熱柱地幔热柱（Mantle plume）或热柱或地幔柱是地球等行星地幔热对流的一种方式。较热的岩石由地幔底部一路上升至地幔顶部，此时岩石顶部会部分熔融，岩浆进而喷出地表，而这可能是热点或
内马尼亚·马克西莫维奇内马尼亚·马克西莫维奇（塞尔维亚语：Немања Максимовић；1995年1月26日－），是一名塞尔维亚足球运动员，现时效力西班牙足球甲级联赛球队赫塔费和塞尔维亚国家足球队。
邻家女孩《邻家女孩》（英语：，也称为，德国称为）是一部2007年的美国恐怖电影，改编杰克·凯托区姆（英语：Jack Ketchum）所写的1989年英文同名小说《》。本片是松散地基于1965年夏天期间希薇亚·利
孟乔芳孟乔芳（？年－1656年），字心亭，直隶省永平府卢龙县（今河北省卢龙县）人,中国明清年间将领。父孟国用是明宁夏总兵官。孟乔芳为副将，因事被罢职居家。清天聪四年（1621年），清兵入塞，皇太极攻取