递归定义

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

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

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

相关

俄国 (消歧义)俄国，是俄罗斯国家的简称，它通常指历史上或现存的以俄罗斯族为主体的以下国家：
梅花旗梅花旗为中华民国1980年代后参与国际运动赛事以及中华民国自由地区学校运动会所用的代表旗帜，因外型为梅花而得名。该形式最早出现于1981年中华奥林匹克委员会与国际奥林匹克
火蝾螈(iSalamandra salamandra)火蝾螈（学名：Salamandra salamandra），又名真螈、火螈，可能是欧洲最为著名的一种蝾螈。它们呈黑色，有黄色斑点或斑纹。一些标本甚至是全黑或以黄色为主色，有时会有红色及橙色的。它
盖兹登购地盖兹登购地（Gadsden Purchase）指的是位于现在美利坚合众国亚利桑那州及新墨西哥州两州南部的一块土地。面积30,000平方英里（77,700平方公里）。这块土地是于1853年，美国从墨西哥手
阿克萨烈士旅阿克萨烈士旅（阿拉伯语：كتائب شهداء الأقصى‎）是从法塔赫分离出来的巴勒斯坦武装派别，其名称取自耶路撒冷旧城内的阿克萨清真寺，表达重返耶路撒冷的决心。该组织
硖石灯彩硖石灯彩为流行于中国浙江省嘉兴海宁市硖石街道（原硖石镇）一带的一种传统灯彩，分为座灯、提灯、壁灯、挂灯和礼品灯五类，作为浙江灯彩的杰出代表现已被列为中华人民共和国国家级
郑州地铁郑州地铁，又名郑州轨道交通，是服务于中国河南省省会郑州市的城市轨道交通系统。2013年12月28日，1号线开通试运营，郑州地铁成为中国大陆第17个、河南省第1个城市轨道交通系统。截
南极领地南极领地是指各国宣布在南极洲拥有主权的领土。这些国家通常将在南极大陆的领土与南纬40度以南的岛屿并称为南极领地或南方领地。1961年《南极条约》冻结了各国对南纬60度以
斐迪南二世 (神圣罗马帝国)斐迪南二世（Ferdinand II，1578年7月9日－1637年2月15日）哈布斯堡王朝施蒂里亚支系的代表人物，曾任施蒂里亚大公（1590年—1637年在位）和神圣罗马帝国皇帝（1620年—1637年在位）。他也是
F理论F理论（F-theory）为弦论衍生出的词汇，可视为M理论（Mother-theory）的伴侣，但意义则有所不同。大略来说，F理论是源自IIB型弦理论，并借由非微扰方式成立的。此外，IIB型弦论则是成效于轴