递归定义

✍ dations ◷ 2025-11-20 16:48:36 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

罗得岛罗德岛（希腊语：Ρόδος Ródos ）是爱琴海上的一个岛屿，位于佐则卡尼萨群岛的最东端，它也是该群岛的主岛和希腊所辖最东的岛屿，距离土耳其仅18公里。其名来自于古希腊语中的“Ρ
成人图书色情书刊是具有色情娱乐要素的书籍总称，俗称小本，包括成人写真集、色情小说、成人漫画等。色情书刊起源很早，春宫图可以追溯至汉朝。日本为了申请2020年奥运主办权，于2012年公布
储精囊精囊（英语：Seminal vesicle，亦称为储精囊），功用为提供和储存精液的分泌物，内含有黏液、果糖（精子能量）、凝集酵素、抗坏血酸、前列腺素，但并不储存精子。精液有60%左右的成分来自于此
鱼石螈鱼石螈（学名Ichthyostega）是一属坚头类，生存于3亿6千5百万至3亿6千万年前的晚泥盆世，是鱼类及两栖类的中间生物，从尾部等体型看类似现代的鲶鱼长了脚。鱼石螈有脚，但却可能不是用
伦敦地铁伦敦地铁（英语：London Underground）是英国伦敦的城市轨道交通系统，于1863年1月10日通车。地铁车辆在伦敦市中心地底运行，至郊区在地面运行，其中地面运行线路占55%。伦敦地铁在英文
上错花轿嫁对郎 (电视剧)《上错花轿嫁对郎》是一部根据台湾作家席绢的小说《请你将就一下》及《上错花轿嫁对郎》改编的电视剧，片长20集，张子恩执导，童边、阡陌、朴勤、国芳编剧，聂远、黄奕、师小红、李
三浦梧楼三浦梧楼（1846年11月15日－1926年1月28日）为日本武士、陆军军人、政治人物。陆军中将、子爵。号“观树”。生于萩城郊的中津江。文久3年（1863年）进入长州藩军队服务，后成为长州藩诸
古吴轩出版社古吴轩出版社是一家位于中华人民共和国江苏省苏州市的出版社。古吴轩出版社成立于1989年。2003年底，出版社与《苏州日报》等七家报纸、《苏南科技开发》一份刊物“七报一社一
朝鲜半岛同音姓氏以下为韩民族（朝鲜民族）的同音姓氏。其他没有同音字的姓氏，请参看朝鲜半岛姓氏。
廷宁湖坐标：47°49′28″N 12°12′18″E / 47.82436°N 12.20508°E / 47.82436; 12.20508廷宁湖（德语：Tinninger See），是德国的湖泊，位于该国东南部，由巴伐利亚州负责管辖，长0.7公里、宽