递归定义

✍ dations ◷ 2025-04-26 12:03:10 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

牛津拼写牛津拼写（英语：Oxford spelling），也称为牛津英语词典拼写（Oxford English Dictionary spelling）、牛津式（Oxford style）或牛津英语拼写（Oxford English spelling），是英语的一种拼写方式
一纲四目一纲四目，是1963年中华人民共和国国务院总理周恩来归纳的中国共产党对台政策。
球面几何球面几何学是在二维的球面表面上的几何学，也是非欧几何的一个例子。在平面几何中，基本的观念是点和线。在球面上，点的观念和定义依旧不变，但线不再是“直线”，而是两点之间最短
北京工业大学国立北京工业大学是存在于1922年至1928年之间的一所大学。该校前身是创建于1904年的北京高等实业学堂。北京高等实业学堂于1912年改为高等工业学校，后又改为北京工业专门学校
斯卡圭史凯威（英语：Skagway），是美国阿拉斯加州的一座城市。该市的人口在2000年为862人，2010年有968人。
丁度丁度（990年－1053年），字公雅。北宋开封人。先世是恩州清河人。生于淳化元年（990年），性朴实，不重仪表。大中祥符年间，“登服勤词学科”，授大理寺评事，历官通判通州，监齐州税，太子中允，改直集
辣椒 (果实)辣椒是辣椒属（学名：）植物果实的泛称。其中最常见的普通辣椒（）拥有许多人工栽培种及变种，如菜椒（）和朝天椒（）等等。辣椒起源于美洲。在哥伦布大交换之后，辣椒开始遍布全球，可作食用和药
阴道上皮阴道上皮（vaginal epithelium）是阴道中的腺体内层，其中包括多层的（鳞状）细胞，属于上皮组织。基底膜在基底层（上皮的第一层）内，中间层在基底层上，表面层是上皮的最外层。由管腔往外的阴
遥远时空系列遥远时空（日语：遙かなる時空の中で）是光荣发行的日本女性向恋爱冒险游戏系列，首作于2000年发行。
芬讷埃格山坐标：46°56′02″N 12°10′06″E / 46.93379°N 12.16836°E / 46.93379; 12.16836芬讷埃格山（德语：Fenneregg），是中欧的山峰，位于奥地利和意大利接壤的边境，属于里塞费纳山脉的