递归定义

✍ dations ◷ 2025-08-01 05:43:30 #递归论,定义,理论计算机科学,数理逻辑

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

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

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

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

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

相关

  • 5f14 7s22, 8, 18, 32, 32, 8, 2第一:641.6 kJ·mol−1 第二:1254.3 kJ·mol−1 第三:2605.1 kJ·mol主条目:锘的同位素锘(Nobelium)是一种人工合成元素,符号为No,原子序为102。
  • 天皇大帝天皇大帝,乃是天皇星的星君,在扶鸾信仰中,他在上古时代化身为天皇真人。《晋书·天文志》:“勾陈宫中一星曰天皇大帝,其神曰耀魄宝,主御群灵执万神图。”《通占大象历星经》:“天皇
  • 堺雅人堺雅人(日语:堺 雅人/さかい まさと Sakai Masato,1973年10月14日-),日本知名男演员,隶属于田边事务所(日语:田辺エージェンシー),妻子为演员菅野美穗。早稻田大学第一文学部中国文学专
  • 烈火边境《烈火边境》(英语:Free State of Jones)是一部于2016年上映的美国历史战争片,为加里·罗斯执导和编剧,并与强·齐力克、斯科特·史图柏共同监制。由马修·麦康纳、古古·玛芭塔-
  • 废刀令废刀令,在日本明治9年(1876年)3月28日颁布。全名为《大禮服竝ニ軍人警察官吏等制服著用ノ外帶刀禁止》,即是禁止带刀之政令。内容为除了穿大礼服者(主要为皇室成员),军人、警察外,其
  • 弗兰克·布里兰多弗兰克·布里兰多(英语:Frank Brilando,1925年6月29日-2019年5月5日),美国男子自行车运动员。他参加了1948年和1952年夏季奥运会自行车比赛,其中1948年奥运会他参加了公路赛,两个项
  • 贾雅普拉卡什·纳拉扬贾雅普拉卡什·纳拉扬(Jayaprakash Narayan; listen 帮助·信息;1902年10月11日 - 1979年10月8日),普遍被称为JP或Lok Nayak(印地语中为人民领袖),是印度独立活动家、理论家和政治
  • 艾利·杜赫艾利·杜赫(爱尔兰语:Elley Duhé),是一名来自爱尔兰都柏林的歌手和词曲作者,在亚拉巴马州多芬岛及密西西比州凡克里夫(英语:Vancleave, Mississippi)长大。2018年7月,他与德国音乐制
  • 蒂洪·西索夫蒂洪·西索夫(爱沙尼亚语:Tihhon Šišov);1983年2月11日-)是一位俄罗斯裔爱沙尼亚足球运动员,在场上的位置是右后卫。他现在效力于爱沙尼亚足球甲级联赛球队锡拉迈埃卡勒夫足球俱
  • 意大利语字母意大利语字母由21个字母组成,另外还包括包含变音符号的四个字母:其中 J K W X Y 五个字母主要用来拼写外来单词。