递归定义

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

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

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

相关

张玉法张玉法（1935年2月1日－），中华民国历史学家，中央研究院院士。张玉法幼时生长于山东峄县。国共内战爆发后，他与同学随国民政府自山东辗转南下流亡。1949年，在澎湖七一三事件后入澎湖防
三方三方晶系是结晶学中七种晶体的其中一种。以晶体的一个三次对称轴或者三次倒转轴为c轴，三个水平轴正端120°且与c轴正交。通常采用四轴定向。α=β=90°；γ=120°；a=b≠c。但是
汆汆（拼音：cuān；注音：ㄘㄨㄢ）是烹饪时对食材的一种处理方法，又称汆烫、川烫、焯水或飞水。较常用的一个意思是指把食材放入沸水中片刻，透过水的热力烧煮食材。可以达到去除肉类血水
项名达项名达（1789年－1850年），字步莱，号梅侣，浙江仁和县（今杭州余杭区仁和镇）人，清朝数学家。出生于乾隆五十四年（1789年）。卒于道光三十年（1850年）。嘉庆二十一年举人，国子监学正。道光六年，考进
大将军大将军是一种头衔：
内马尼亚·马克西莫维奇内马尼亚·马克西莫维奇（塞尔维亚语：Немања Максимовић；1995年1月26日－），是一名塞尔维亚足球运动员，现时效力西班牙足球甲级联赛球队赫塔费和塞尔维亚国家足球队。
哈利·波特的魔法世界 (奥兰多环球影城)哈利波特的魔法世界位于佛罗里达州的奥兰多环球影城。该影城由两个主题乐园组成，分别是冒险岛乐园和佛罗里达环球影城。哈利波特的魔法世界是以J.K.罗琳所创作的哈利波特系列
巴拉曼蕨属巴拉曼蕨（学名：），又名巴拉万石松，是一属已灭绝的陆生维管植物，生长在潮湿的低洼地区。它们被看作是一类原始的石松门植物。生存于古生代志留纪晚期至泥盆纪早期（427百万年前到393
黑狮子城奇谭《黑狮子城奇谭》日版第1卷封面《黑狮子城奇谭》（日语：黒獅子城奇譚）是川口士所创作的，八坂ミナト（日语：八坂ミナト）负责绘制小说插画。并由集英社旗下的Dash-X文库（日语：ダッシュエ
詹姆斯·里奇曼詹姆斯·里奇曼（英语：James Richman，拉脱维亚语：Džeims Ricmens 1989年3月19日－），拉脱维亚投资家，出生于图库姆斯镇斯马德村，名下有私人资产管理公司，以投资Facebook、Uber和特斯拉而