递归定义

✍ dations ◷ 2025-12-08 02:11:17 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

阿斯图里亚斯语阿斯图里亚斯语（阿斯图里亚斯语：Asturianu，阿斯图里亚斯语发音： /astuˈɾjanʊ/）又称作llïonés、mirandés或Bable，是罗曼语族下的一种语言，在西班牙的阿斯图里亚斯、莱昂、萨
Escherichia coli大肠杆菌（学名：Escherichia coli，通常简写：E. coli）是人和动物肠道中著名的一种细菌，主要寄生于大肠内，约占肠道菌中的0.1%。大肠杆菌是一种两端钝圆、能运动、无芽孢的革兰氏阴性
戈利木单抗戈利木单克隆抗体（golimumab）（CNTO 148）是一种人类单株抗体，用作免疫抑制药物，商品名欣普利（Simponi）。本抗体乃对抗促进发炎的肿瘤坏死因子α （TNF-alpha）而抑制之。使用后发现
第三机械工业部中华人民共和国第三机械工业部可能指：
火山列岛火山列岛（日语：火山列島 Kazan Rettō）是日本治下的一个群岛，由3个小火山岛组成，属于小笠原群岛。它位于小笠原群岛之南部，隶属东京都小笠原村。火山列岛包含以下岛屿：位于火山列
天冬氨酸氨基转移酶天冬氨酸氨基转移酶（英语：Aspartate Transaminase，缩写 AST），也称作谷草转氨酶(SGOT)，是一种磷酸吡哆醛蛋白质，也可以作用于L-苯丙氨酸、L-酪氨酸和L-色氨酸（EC 2.6.1.1）。谷草转氨酶
二氧化锗二氧化锗，化学式GeO2。白色粉末或无色结晶，为四方晶系、六方晶系或无定形体。六方结晶与β-石英同构，锗为四配位；四方结晶具有超石英型结构，类似于金红石，其中锗为六配位。高压下
LGBT相关电影列表涉及同性恋、双性恋与／或跨性别话题的电影，塑造了重要的同志角色和／或把同性恋、双性恋以及／或跨性别身份或关系作为一个重要的剧情的有：
阿卜杜拉·优素福·阿扎姆阿卜杜拉·优素福·阿扎姆（阿拉伯语：عبد الله يوسف عزام‎，1941年－1989年11月24日) ，巴勒斯坦伊斯兰教学者和神学家，被称为全球圣战之父，也是盖达组织创始成员。在1
A11公路A11公路、A11高速公路可以指：