递归定义

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

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

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

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

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

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

相关

  • 接吻亲吻是指用嘴唇触碰其他事物,通常是另一个人。特别的,接吻是指两人的嘴唇互相接触。亲吻是一种经过学习的行为,从其他动物之间的行为学习而来。许多灵长类动物也有亲吻的行为。
  • 哥伦比亚河哥伦比亚河(英语:Columbia River),位于北美太平洋西北地区,全长2,044公里,流域面积415,211平方公里,平均流量每秒7,500立方米。哥伦比亚河起源于洛矶山脉在加拿大不列颠哥伦比亚内
  • 黄沙黄沙(即黄尘、亚洲粉尘、黄河风或中国沙尘暴)是一种季节性的气象现象,它会于东亚冬春交际时零星地出现。沙尘起源于蒙古沙漠、中国北部和哈萨克斯坦,而表面高速的风及激烈的尘暴
  • 亚里士多德亚里士多德(希腊语:Αριστοτέλης,Aristotélēs,前384年-前322年3月7日),古希腊哲学家,柏拉图的学生、亚历山大大帝的老师。他的著作牵涉许多学科,包括了物理学、形而上学
  • 底比斯圣队底比斯圣队(古希腊语 Ιερός Λόχος , hieròs lókhos)是古希腊城邦底比斯的一支精锐部队,共300人,由150对“古希腊少年爱”伴侣组成。这支部队是前4世纪底比斯军队的精
  • 分析分析(英语:Analysis)是将复杂的话题或事物逐渐拆分的过程,以此来达到对话题更好的理解。尽管“分析”作为一个正式的概念在近年来才逐步建立起来,这一技巧自亚里士多德(公元前384
  • 狮甲狮甲站是高雄捷运红线的一座捷运车站,位于高雄市前镇区中山二路及复兴三路、民权二路一带,古代为戏狮甲庄的大林尾聚落;而古代戏狮甲庄的戏狮甲聚落位于今一心路于文横至林森路
  • 禁忌游戏《禁忌游戏》(法语:Jeux interdits)是法国导演雷奈·克莱门特所执导的电影,于1952年上映,改编自佛兰柯斯·波耶(Francois Boyer)的小说《禁忌的游戏》。电影以写实主义手法描述了战
  • 棋王战 (台湾围棋)台湾围棋有两个比赛可以被称作棋王赛:
  • 显脉小檗显脉小檗(学名:)是小檗科小檗属的植物,是中国的特有植物。分布在中国大陆的四川、云南等地,生长于海拔1,800米至4,000米的地区,常生于河边、云杉林下、灌丛中和云南松林下,目前尚未