递归定义

✍ dations ◷ 2025-07-11 07:17:23 #递归论,定义,理论计算机科学,数理逻辑

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

大部分的递归定义都由三个部分构成:基本情况的定义,递归法则和递归结束的情况。如果定义的对象是无限的,那么可以省略第三个部分(递归结束的情况)。比如说,可以用递归定义的方式来定义如下的一个自然数集上的函数 f {\displaystyle f}

这个定义在逻辑上是成立的,因为它首先定义了 f {\displaystyle f} 在最小的自然数0上的取值,接下来对每个大于零的自然数 n {\displaystyle n} ,只要重复有限多次定义的过程,最终就会回到对0的定义上。这样定义出的函数 f {\displaystyle f} 就是阶乘函数。

递归定义和循环定义的不同之处在于,后者不包括对基本情况的定义。比如定义建立在整数集上的函数 g {\displaystyle g}

则我们永远无法确定 g {\displaystyle g} 的取值,这便是循环定义。

相关

  • span class=nowrapHgSOsub4/sub/span硫酸汞(化学式:HgSO4)是一种无机化合物。硫酸汞为白色粉末,遇水水解,产生黄色的碱式硫酸盐和硫酸。硫酸汞可以由汞和浓硫酸加热反应得到:也可以用硫酸溶解黄色氧化汞得到:硫酸汞在6
  • 1294年1294年的地震摧毁了冰岛许多间歇泉,但盖锡尔与斯特罗柯间歇泉却因此而生。
  • 海南语海南话(海南白话字:Hái-nâm-oe),亦称海南语(Hái-nâm-jî),又称琼文话、琼语、东语、海南闽语、客话或琼州话:1,是汉藏语系汉语族闽语支的一种语言,也是汉族海南民系的母语,主要分
  • 台南市台南市文化资产是位于台南市(包含原省辖台南市及原台南县)的各级古迹与历史建筑。原台南市可以说是台湾的历史名城,从1624年荷治时期建城至今已有将近四百年的历史,自17世纪作为
  • 美国空军官校美国空军学院(United States Air Force Academy),或译美国空军官校,是美国空军培养初级军官的院校。学校招收17岁至22岁的高中毕业的未婚美国公民以及少量外籍学员,多数体格具备
  • 海洋经济海地是西半球最穷的国家,亦是世界上最不发达的国家之一。联合国开发计划署的人类发展指数评价中,海地在177个国家中名列第153位。2004年,海地的GDP(按购买力计算)为120.5亿美元,排
  • 雷蒙德-路易斯·加斯顿·普兰特雷蒙德-路易斯·加斯顿·普兰特(法语:Raymond-Louis Gaston Planté,1834年4月22日-1889年5月21日)是一位法国物理学家,曾于1859年发明了铅酸蓄电池,最终成为率先推出的商用化可充
  • 汉密尔顿夫人《汉密尔顿夫人》(英语:That Hamilton Woman),又名《忠魂鹃血》,是1941年的黑白历史电影剧,由亚历山大·科达为其美国公司在美国流亡期间制作和执导。 这部电影讲述了在拿破仑战争
  • 基因组内部冲突根据自私基因理论,若一基因的表现型能确保其较为成功的复制及传递,该基因的频率即会上升。一般情况下,能提升个体存活率及繁殖成功率(适存度)的基因,较易达成此一目标;然而,在某些情
  • 艾盖尔塞吉·克里斯蒂娜艾盖尔塞吉·克里斯蒂娜(匈牙利语:Egerszegi Krisztina,1974年8月16日-),匈牙利女子游泳运动员。艾盖尔塞吉出生于布达佩斯,在1988年至1996年三届奥运会上夺得了5枚仰泳和混合泳金