递归定义

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

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

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

相关

纽伯里波特坐标：42°48′45″N 70°52′40″W / 42.81250°N 70.87778°W / 42.81250; -70.87778纽伯里波特（英语：Newburyport），或称纽波利波特，是美国马萨诸塞州艾塞克斯县的一个城市，东临大
铆钉铆钉（英文：Rivet），是一种机械紧固件，铆钉是用来永久固定工件，工件固定后，需要破坏铆钉或工件才能将已固定的工件分离，这一点和钉子及螺丝等紧固件不同。用铆钉固定或接合工件的方式
三苯甲基自由基三苯甲基自由基（化学式：(C6H5)3C·）是有机化学家所观测到的第一个自由基。由于苯基体积较大，三苯甲基自由基中的三个苯基不可能与中间的碳原子共平面，而是排成螺旋桨式。由于三个
奥斯卡荣誉奖奥斯卡荣誉奖（Academy Honorary Award），近年来中文或又被称为奥斯卡终身成就奖。在奥斯卡奖设立之初由美国电影艺术与科学学院颁给奥斯卡奖项没有包括的领域的杰出人士或团体机
邵畴邵畴（3世纪－274年），字温伯，孙吴官员。凤凰三年（274年），当时会稽郡流传着章安侯孙奋将作天子的谣言，临海郡太守奚熙给会稽郡太守郭诞写信非议国政。郭诞只把奚熙的信呈交给朝廷，却未奏
王丰 (台湾)王丰（1956年6月19日－），生于台湾省南投县，记者出身，是台湾著名传记作家，父亲湖北省人，母亲江苏省人。王丰毕业于台中一中、国立政治大学东亚研究所，曾任《时报周刊》采访主任、《商业
茉莉花 (消歧义)茉莉花通常指木犀科素馨属植物茉莉花，也可以指：
王荣顺王荣顺（1934年9月21日－2016年4月24日），男，江苏金坛人。中国物理化学家。主要科研方向为量子化学，富勒烯化学，微观反应动力学和功能材料化学。东北师范大学教授，校长。1934年9月21日
蜜石蜜石是一种矿物质，化学成分为铝的苯六甲酸盐，化学式为 Al2C6(COO)6·16H2O.其半透明蜂蜜色的晶体可被抛光打磨成宝石。结晶为四方晶系，摩氏硬度为2到2.5，比重为1.6。1789年，首
陶本湖坐标：47°41′46″N 12°25′37″E / 47.69611°N 12.42694°E / 47.69611; 12.42694陶本湖（德语：Taubensee），是中欧的湖泊，位于奥地利和德国接壤的边境，由克森和下沃森负责管辖，长0