递归定义

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

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

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

相关

屯溪屯溪区是中国安徽省黄山市下辖的一个区。东汉建安十三年（208年），吴主孙权在屯溪设犁阳县，属新都郡，为屯溪建制之始。晋改犁阳为黎阳。南朝宋大明八年（464年）撤黎阳县，并入海宁县(今
理查德·萨瑟兰理查德·克伦斯·萨瑟兰（英文：Richard Kerens Sutherland，1893年11月27日－1966年6月25日）是美国陆军的一名中将（英语：Lieutenant general (United States)），在第二次世界大战的西南太
铼的同位素铼（原子量：186.207(1)）的同位素，只有1种是稳定的，另一个187 Re为天然放射性。备注：画上#号的数据代表没有经过实验的证明，只是理论推测而已，而用括号括起来的代表数据不确定性。
韩国诺贝尔奖得主列表本表列出韩国籍和出生于韩国的非韩国籍诺贝尔奖得主。
河水牛河水牛（学名：）是分布在印度、尼泊尔、巴基斯坦、不丹及泰国的濒危物种。它们是大型的有蹄类，且是家养水牛的祖先。世界自然保护联盟]将河水牛列为濒危物种，其总数量只有少于4000
川上宪伸NPBMLB川上宪伸（かわかみけんしん、1975年6月22日－），曾经效力过日本职棒中日龙及美国职棒大联盟亚特兰大勇士，目前已退休。533打数76安打　打率.143　二垒打13　本垒打8　打点2
中国地图出版集团中国地图出版集团，工商登记名称中国地图出版社，简称中图集团，是2010年成立的企业集团，由中华人民共和国国务院出资，直属中华人民共和国自然资源部。1951年1月，上海市、南京市、武
塞琉古一世塞琉古一世（胜利者），或译为塞流息得一世、塞流卡斯一世（希腊语：Σέλευκος Νικάτωρ，约前358年－前281年），他起初是亚历山大大帝的军官，亚历山大逝世后成为继业者之一，在继
塞班岛号航空母舰塞班岛号航空母舰（USS Saipan，CVL-48），是美国海军塞班岛级首舰。在二战期间建造，由巡洋舰舰体改建而成，战后1946年才入役，因为作战用途远低于中途岛级航空母舰，于1965年被改装成阿灵
鹭属见正文鹭属（属名：），是鸟纲、鹈形目、鹭科中的一个属。