递归定义

✍ dations ◷ 2025-11-27 09:53:32 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

前庭裂前庭裂（rima vestibuli、假声带(false vocal cords)）为喉腔中的一个空间。对于前庭韧带（vestibular ligaments、覆有黏膜的前庭襞）而言，结构上类似声门裂（英语：rima glottidis）对于
比迪娅·戴维·班达里比迪娅·戴维·班达里（尼泊尔语：विद्या देवी भण्डारी；1961年6月19日－），是一位尼泊尔的女性政治人物，她是尼泊尔共产党（联合马列）的副主席，前国防部长，2015年10月28日
桃金娘科桃金娘科（学名：Myrtaceae）植物主要产于澳洲和美洲的热带和亚热带地区，有100属约3000种，中国原产有8属，引种了5属，共有136种。台湾有9属30种。常绿灌木或乔木；叶子对生或互生，单叶，多全
吉祥鸟吉祥鸟（属名：Jixiangornis）是鸟翼类的一属，生存于1.245亿年前的上白垩纪，是鸟类的远古近亲。它们拥有如现代鸟类般的鸟喙，不过同时也拥有一个现代鸟类并没有的长尾巴。由于更晚期
原台南公园管理所原台南公园管理所位于台南市北区的台南公园里，于民国九十二年（2003年）5月13日公告为台南市市定古迹。该建筑在台湾日治时期时是公园治安的管理中心，现在则是台南公园驻警队所在
印尼总统印度尼西亚总统即为印度尼西亚国家元首、政府首脑和武装部队最高统帅。自2004年第六任总统的选举产生开始，总统和副总统改由全国直接选举，只能连选连任一次，每任五年；之前印尼总
志明与春娇《志明与春娇》（英语：），2016年台湾偶像剧，2016年12月28日于CHOCO TV上架播出。
石中剑酒店石中剑酒店（Excalibur Hotel and Casino）是位于美国内华达州天堂市赌城大道上的一间赌场酒店。之前隶属于曼德勒渡假村集团（Mandalay Resort Group），后来曼德勒被美高梅集团所收
吴禄贞吴禄贞（1880年3月6日－1911年11月7日），字绶卿，湖北云梦吴家台人。清末军事将领，实则为卧底于清廷的革命党员。6岁就读于伯父处，10岁其父至省垣教馆，举家迁往，由父课读，好经史，尤爱岳飞词
王洽 (明朝)王洽（？－1630年），字和仲，号葱岳，山东临邑县人。明末政治人物，官至兵部尚书。万历三十二年（1604年）进士，历任东光、任丘、长垣知县。擢吏部稽勋主事，历考功、文选司郎中。天启初，迁太常寺少