递归定义

✍ dations ◷ 2025-04-04 11:05:24 #递归论,定义,理论计算机科学,数理逻辑

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

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

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

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

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

相关

  • 草酸铁离子草酸铁钾(化学式:K3),三水合物为翠绿色晶体,是一个含铁(III)的配合物,溶于水得到绿色溶液。主要用作光化剂。三个双齿的草酸根离子与铁形成八面体型配位,因此它有Λ-和Δ-两种异构
  • 菲尼斯泰尔省菲尼斯泰尔省(法语:Finistère、布列塔尼语:Penn-ar-bed)是法国布列塔尼的一个省。省名是拉丁语“大地尽头”的意思,取义于该省位于法国欧洲大陆部分的最西部。这个省和莫尔比昂
  • 痉挛性失声症痉挛性失声症(英语:Spasmodic dysphonia)是因发出人声的肌肉进入痉挛阶段而产生的病症。患者通常每说几句话便会中断一次,使得人们难以理解。还有可能声音听起来很紧张,亦或者几
  • 抗体依赖性细胞毒杀过敏反应第二型致病免疫反应(tissue-specific or cytotoxic hypersensitivity),又称为抗体诱发型过敏 ,其起因为患者免疫系统所产生的抗体会对于患者细胞上的抗原产生免疫反应。细胞毒杀
  • 约克大学 (加拿大)AUCC,CARL,IAU, COU,CIS,OUA,CUSID 菲尔兹研究所,CBIE 约克大学(英语:York University,法语:Université York),是位于加拿大安大略省多伦多市的一家著名综合性大学。一直以来,约克大学以
  • 文艺复兴音乐文艺复兴音乐约为公元1400年-1600年,在中世纪“新艺术”的基础上,更加追求人性的解放与对人的内心情感的抒发与表达。这时的音乐家在人文主义思潮的推动下,对复调音乐进行了发展
  • 2008年美国羽毛球大奖赛2008年美国羽毛球大奖赛为第2008年度的美国羽毛球公开赛,是2008年世界羽联大奖赛的其中一站。本届赛事于2008年7月8日至7月12日在美国加利福尼亚州的橙县举行,并获得YONEX及橙
  • 安有仁安有仁(英语:Loren Aandahl,1952年-)是一位曾在台湾居住多年的美国籍铁道迷。居住于台湾期间曾拍摄大量与台湾铁路相关的彩色照片,于2011年集结部分照片出书,造成台湾铁道文化界轰
  • 27 (金圣圭迷你专辑)《27》是韩国男子组合INFINITE队长金圣圭的第二张韩语迷你专辑,于2015年5月11日发行,主打曲分别为《非你不可》(韩语:너여야만 해)和《Kontrol》。2015年4月中,韩国有报导指出圣圭
  • 魔法少女奈叶系列《魔法少女奈叶》系列(日语:魔法少女リリカルなのはシリーズ、英语:Magical Girl Lyrical Nanoha series)是日本在2004年10月至2015年6月播放的动画、电影作品,一共有10部作品,以