递归定义

✍ dations ◷ 2025-11-21 08:27: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$ 的取值，这便是循环定义。

相关

生物生物系统层级关系：生物圈 > 生态系统 > 群落 > 种群 > 个体生物（拉丁语，德语: Organismus，英语：Organism，又称有机体）是指称类生命的个体。在生物学和生态学中，地球上约有870万种
红斑狼疮症红斑狼疮（Lupus erythematosus）为一系列自体免疫性疾病的统称，即免疫系统非正常地攻击自身正常组织。症状可能会发生于全身各处，包含关节、皮肤、肾、血球、心脏，以及肺。最常见
语音学语音学（Phonetics、发音：/fəˈnɛtɪks/）是研究言语声音（即语音）的语言学分支学科。狭义的语音学对应英语中phonetics(发音)一词，关切的重点在语音的物理、生物、心理等具象本质，
文字列表文字，世界的书写文字系统列表。
观音洞文化观音洞可以指供奉观音的寺庙（多位于洞窟内），还有以此为名的地名及设施：
美国国家科学研究委员会美国国家科学研究委员会（United States National Research Council），1916年由美国国家科学院创建的“民间非营利组织”，是美国国家科学院、美国国家工程院和美国国家医学院（英语：N
永远的总书记朝鲜民主主义人民共和国主题共和国永远的主席－金日成劳动党永远的总书记－金正日朝鲜劳动党永远的总书记（朝鲜语：조선로동당의 영원한 총비서／朝鮮勞動黨永遠한 總秘書）是作为朝鲜
康波特康波特（Kompot）是一种流行在中欧、东欧和南欧地区的非酒精饮料。做法类似水果罐头，将经过加工后草莓、杏、桃、苹果、大黄、醋栗、欧洲酸樱桃泡入水中（经常会加入糖或葡萄干用来
J.A.G. JAPANJ.A.G. JAPAN株式会社（日语：ジャッグジャパン株式会社，英语：J.A.G. JAPAN Corp.）是总部位于日本东京都涩谷区涩谷的咨询公司。2010年11月，大滨﨑卓真创立公司前身J.A.G. JAPAN合同会
应急可转债应急可转债，（英语：Contingent Convertible Bond （CoCo），也称作Enhanced Capital Note （ECN）），俗称CoCo债，是一种金融衍生性商品。此类债券可以采取各种不同的形式，如作为银行备用的后偿