递归定义

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

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

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

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

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

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

相关

  • 哈维尔·埃尔南德斯·克雷乌斯哈维尔·埃尔南德斯·克雷乌斯(加泰罗尼亚语:Xavier Hernández Creus,1980年1月25日-),通常称作哈维(Xavi),退役加泰罗尼亚足球运动员,世界足坛最佳西班牙巨星之一。司职中场,出身巴塞
  • 黄凡参数所指定的目标页面不存在,建议更正成存在页面或直接建立下列一个页面(建立前请先搜寻是否有合适的存在页面可以取代):注意如果条目名称是繁体字要使用繁体的“消歧義”,简体字
  • 澳大利亚科技大学联盟澳大利亚科技大学联盟(英语:Australian Technology Network,缩写为 ATN)是由5所重视将本科阶段所学习和研究的内容,转化于实际应用成果的澳大利亚大学组成,成立于1995年。这5所院
  • 阿尔科生命延续基金阿尔科生命延续基金(英语:Alcor Life Extension Foundation)是一间提供人体冷冻技术的非牟利机构,该机构是现时美国最大型的人体冷冻服务的供应商。阿尔科生命延续并协助会员在
  • 帕拉奇语帕拉奇语(英语:Parachi)是一种伊朗语支的语言。帕拉奇语主要有600个阿富汗帕拉查族人所使用,主要集中在尼吉拉北部的上游地带(位于喀布尔省北方),在该地区外,使用帕拉奇语的人口有5,
  • 贝沙尔省贝沙尔省(阿拉伯语:ولاية بشار‎)是阿尔及利亚西部的一个省,首府贝沙尔。贝沙尔省是阿尔及利亚面积第4大的省份,但人口稀少,每平方千米平均仅有1.4人。
  • 门诊患者,又称病人、病者和病患,是指医疗服务的接受者,大多用来指罹患疾病、或身体受到创伤,而需要医生和护理人员进行治疗的人;动物如遇到相同状况,也可以患者称之。但是对于不用接受
  • 克拉伦斯·迪凯特·豪克拉伦斯·迪凯特·豪 PC(英语:Clarence Decatur Howe,1886年1月15日-1960年12月31日)是加拿大内阁部长,加拿大自由党代表。豪曾在加拿大总理威廉·莱昂·麦肯齐·金、路易·圣洛
  • 沈桂芬同治十年(1871年)摄沈桂芬(1818年-1880年),字经笙,又字小山,江苏吴江同里人,顺天宛平籍。清末政治家,被梁启超称为“实为(清朝)汉人掌政权之嚆矢”。道光二十七年(1847年)进士,选庶吉士,与李
  • 亚历山德鲁亚历山德鲁(罗马尼亚语:Alexandru)是一个罗马尼亚语名字,可以指: