递归定义

✍ dations ◷ 2025-11-22 11:19:58 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

全通型量子通讯网量子网络（英语：quantum network），是指在多个通信节点间，利用量子密钥分发进行安全通信的网络。各节点间产生的量子密钥可以对传统的语音、图像以及数字多媒体等通信数据进行加密
广昌广昌县是中国江西省抚州市所辖的一个县。总面积为1612平方公里，2003年人口为22.9万。2016年江西广昌获“世界最大莲池”吉尼斯世界纪录认证。主办方现场介绍，中国广昌姚西景
有你真好 (电影)《有你真好》（The Way Home）是一部韩国剧情片。母亲把7岁儿子相宇送至偏僻乡下的外婆家，作为单身母亲的妈妈为了方便找工作暂时把相宇留在那里，由又老又哑的外婆暂时照顾。相宇
王子岛群王子群岛（土耳其语：Kızıl Adalar，意思是“红色之岛”，常称Adalar“岛屿”），王子群岛位于马尔马拉海中，在土耳其的伊斯坦布尔的东南方约二十公里，王子群岛由九个岛屿组成，其中四个主
柔情盖天《柔情盖天》（英语：）即依据美国作家杰克·寇帝斯（Jack Curtis）所撰写的小说《柔情盖天》为基础，再进行改编的电影作品。另外，本片也是早期在美国知名度不高的罗素·克劳经莎朗·斯
卡米尔·德穆兰露西·森普利斯·卡米尔·伯努瓦·德穆兰（Lucie Simplice Camille Benoist Desmoulins，1760年3月2日－1794年4月5日），法兰西记者、政治家，在法国大革命期间扮演重要角色。他与马
氰化镉氰化镉是一种无机化合物，化学式为Cd(CN)2。它是白色晶体，加热变为褐色，剧毒，用于电镀。氰化镉由氢氧化镉和氢氰酸溶液反应制备，浓缩得到晶体：氰化镉在200℃以上分解。氰化镉溶于氰
蒂特·韦希蒂特·韦希（爱沙尼亚语：Tiit Vähi，1947年1月10日－）爱沙尼亚政治家，1992年在过渡政府期间代理几个月总理，1995年－1997年担任爱沙尼亚总理。韦希出生于爱沙尼亚瓦尔加，毕业于塔林理工
破天神记《破天神记三部曲》是一部由日本作家荻原规子于1988年所开始发表的出道作，三部曲的名称分别是《空色勾玉》、《白鸟异传》和《薄红天女》。此系列为以古代日本为舞台背景的
释空尘释空尘（？－？），法号云闲，吴县人，广陵琴派古琴家，师承牧村和尚，编著有《枯木禅琴谱》。空尘和尚先后师从牧村和尚、赵逸峰、丁绥安，老师相继去世后，便游学琴艺，曾至燕、齐、楚、越拜访琴家。