递归定义

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

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

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

相关

细菌性阴道炎细菌性阴道炎（Bacterial vaginosis，简称BV），又称细菌性阴道病、非特异性阴道炎（Nonspecific vaginitis）是种发生在阴道内的疾病，其原因是细菌大量滋生而造成的。常见的症状包括有阴
核医学放射性药物列表本表罗列出核医学放射性药物。一些放射性同位素¤在应用时采用的是离子形式或惰性形式，并没有依附于某种药物；这张列表之中也收录有此类的核医学放射性药物。在这张列表之中，每
Lighttpdlighttpd（读作lighty）是一款以BSD许可证开源的网页服务器，在确保兼容常见标准、安全性及灵活性的情况下专为需要处理速度的环境优化。此软件起初为扬·克内施克对c10k问题（英语
冻原冻原（又称为苔原），生物群系的一种，包括极圈冻原、高山冻原生态系两类。极圈冻原的气候非常潮湿，但却没有树木，原因在于纬度高，使得生长季非常短、冬季酷寒，表土下为永冻层更不适合木
顶囊蕨见内文顶囊蕨（学名：Cooksonia），又名库氏裸蕨、库克逊蕨、光蕨，是一属已灭绝的原始陆生有胚植物，也是最早期的有胚植物之一，最早出现在古生代志留纪。其残体的化石常被发现于浅海或
国家体育场 (北京) 中国北京市朝阳区奥运村街道奥林匹克公园国家体育场位于中华人民共和国北京市朝阳区奥林匹克公园，是2008年北京奥运会的主场馆，由于于独特造型又俗称“鸟巢”。体育场在奥运
晚霞的剪影《晚霞的剪影》（法语：L'amour au grand soleil）是法国小号演奏者杰恩·克拉德波里莱于1983年发行的小号乐曲专辑，由达芬唱片和Disc'AZ负责发行。一共有14首，其中收录了较早发行的
林大松林大松（1940年－）是台湾的漫画家。出生于台中丰原。
维斯滕罗特维斯滕罗特（德语：Wüstenrot）是德国巴登-符腾堡州的一个市镇。总面积30.02平方公里，总人口6613人，其中男性3204人，女性3409人（2011年12月31日），人口密度220人/平方公里。
黄金分析师黄金分析师，又称为黄金投资分析师，是指对（现货）黄金投资市场的分析师，是金融分析师的其中一种。中国的黄金分析师在2006年开始出现，但直到2009年才开始正式被承认。目前中国开始有