递归定义

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

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

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

相关

碲化氢碲化氢是化学式为H2Te的化合物。它是碲的氢化物中结构最简单的。许多Te-H键的化合物都不稳定，易释放出H2，H2Te也是如此。H2Te的化学性质与硒化氢类似，都是易起反应的酸性气体，H-
信息模型信息模型，是一种用来定义信息常规表示方式的方法。通过使用信息模型，我们可以使用不同的应用程序对所管理的数据进行重用，变更以及分享。使用信息模型的意义不仅仅存在于对
朝鲜英祖朝鲜英祖（朝鲜语：조선 영조／朝鮮英祖 Joseon Yeongjo；1694年10月31日－1776年4月22日），名李昑（朝鲜语：이금／李昑 Yi Geum），幼名禧寿，字光叔，号养性轩。是朝鲜王朝的第21代君主，在位时期为1
全球化学品统一分类和标签制度全球化学品统一分类和标签制度（Globally Harmonized System of Classification and Labeling of Chemicals，缩写为GHS）也称为“化学品分类及标记全球协调制度”，是一套由联合国
袜子袜子，是直接穿在脚上和腿上的服装，有保暖、装饰或保护脚不被鞋子擦伤等功能。质料很多，有棉质、尼龙、羊毛混纺等。中国古代的袜子是用白布包裹着双脚，然后穿上棉布的袜套，或称“
纽伦堡编年史《纽伦堡编年史》（）是一部配有丰富插图的世界历史著作。书中以圣经为基础记载了历史上的许多事件。作者为哈特曼·舍德尔（Hartmann Schedel），1493年7月12日在纽伦堡出版，语言为拉
萨拉·巴雷利斯萨拉·巴雷利斯（Sara Bareilles，发音为/bəˈrɛlɪs/，1979年12月7日－）是一位曾获格莱美奖提名的美国创作歌手及钢琴家。她以2008年的畅销单曲《Love Song》成功打进主流市场，登
明道加斯·茹考斯卡斯明道加斯·茹考斯卡斯（立陶宛语：Mindaugas Žukauskas，1975年8月24日－），立陶宛篮球运动员。他曾经担任立陶宛国家篮球队的队长，代表立陶宛参加了多次奥运会和世锦赛的赛事。他现在
胡鸿猷胡鸿猷（1888年－？），字徵若，江苏无锡人。胡鸿猷早年就读于南洋公学。1907年公派至美国宾夕法尼亚大学沃顿商学院留学,1910年获硕士学位。后又前往德国柏林大学学习。1912年回国后，历
贝桑松犹太会堂贝桑松犹太会堂（Synagogue de Besançon）是一座犹太会堂，位于法国贝桑松，自1984年以来被列为法国历史古迹。建于1869年，于同年11月18日开幕。