递归定义

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

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

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

相关

嘌呤代谢许多生物利用代谢途径来合成或分解嘌呤。嘌呤在生物合成中会合成为核苷酸，特别是核糖核苷酸，即核糖-5-磷酸。主要的调节步骤为PRPP合成酶产生磷酸核糖焦磷酸(PRPP)的反应，这个
法国电视二台除特别注明外，本文所有时间均以东一区时间（UTC+1）为准。法国电视二台（France 2）是法国国营的电视台公共频道，与法国电视三台，法国电视四台，法国电视五台，法国电视Ô台一样，隶属于国有
左旋多巴L-多巴（英语：L-DOPA，全称3,4-二羟苯丙氨酸）是酪氨酸经酪氨酸羟化酶的作用下羟化产生的一种氧化产物，具有儿茶酚羟基，可进一步生成另外一些有生物活性的物质：L-多巴在酪氨酸酶的作用
铜(III)酸盐铜(III)酸盐是一类铜的含氧酸盐。在氧气中加热过氧化钾与氧化铜可制得铜(III)酸钾（KCuO2），这是一种浅蓝色反磁性的物质，高于500℃时分解。氢氧化铜与浓氢氧化钠的混合溶液与次溴
阿尔摩哈德人穆瓦希德王朝（阿拉伯文：الدولة الموحدية‎，“穆瓦希德”意译：一神论者；1121年－1269年），或称阿尔摩哈德王朝（西班牙文：Almohades），是北非柏柏尔人建立的伊斯兰教王朝。12世
罗灵丘陵罗灵丘陵（英文：Rolling Hills），是美国加利福尼亚州洛杉矶县下属的一座城市。建市于1957年1月24日，面积大约为2.99平方英里 (7.7平方公里)。根据2010年美国人口普查，该市有人口1,8
原电池原电池（英语：Primary cell），又称一次电池，是化学电池的一种，以化学能转变为电能而提供电力。一次电池只可放电一次，当内里的化学物质全部起了化学作用后便不能再能提供电能，也不能将
次黄嘌呤-鸟嘌呤磷酸核苷转移酶n/an/an/an/an/an/an/an/an/an/a次黄嘌呤-鸟嘌呤磷酸核苷转移酶（Hypoxanthine-guanine phosphoribosyltransferase，简称HGPRT）为人体内一个翻译自基因的酵素HGPRT为一种转移酶，
哈皮镇区 (堪萨斯州葛兰姆县)哈皮镇区（英语：Happy Township）为位在美国堪萨斯州葛兰姆县的镇区。2010年美国人口普查中该镇区人口有54人。哈皮镇区涵盖面积233.44平方千米（90.13平方英里）。根据美国地质调查
完乘完乘，是指交通机关营业的乘坐、乘坐所有路线的完全乘车的略语。模仿路线图、地图的涂色，也可以乘毁。在英语圈里被称为“complete riding”。虽然和完乘多少有点不同，但是也有