递归定义

✍ dations ◷ 2025-07-02 09:42:20 #递归论,定义,理论计算机科学,数理逻辑

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

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

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

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

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

相关

  • 微量元素微量元素是一个化学和生物化学上的概念,可以是指:
  • 自由岛坐标:40°41′24″N 74°2′43″W / 40.69000°N 74.04528°W / 40.69000; -74.04528自由岛(英语:Liberty Island),旧称贝德罗岛(Bedloe's Island),是位于美国纽约港内的无人岛,因岛
  • 真灵长大目真灵长大目(Euarchonta)是灵长总目的一个演化支,包含了树鼩目、皮翼目、灵长目及史前的更猴目。灵长动物又译为真统兽大目(“Euarchonta”意为“真正的始祖或先驱”),这个分类是于
  • C值谜C值谜(C-value enigma)更常见且较早出现的名称是C值悖论(C-value paradox)。指一个关于真核生物各物种的基因组大小差异的难题,也就是生物的C值(或基因组大小)并不与生物复杂程度相
  • 雷克斯·蒂勒森雷克斯·韦恩·蒂勒森(英语:Rex Wayne Tillerson,1952年3月23日-),生于美国德克萨斯州北部的威契塔瀑布城,美国著名企业家。土木工程师出身,1975年加入埃克森石油公司(英语:Exxon)后,并
  • 爱·Sharing 高雄梦时代跨年晚会《爱·Sharing 高雄梦时代跨年派对》,是台湾高雄市系列的跨年活动的总称之一,以每年12月31日下午6时至元旦上午1时30分于时代大道前广场的跨年晚会为主轴,是自2016年起高雄梦
  • 温妮·奥克塔温纳·坎道温妮·奥克塔温纳·坎道(印尼语:Winny Oktavina Kandow,1998年10月14日-),印尼女子羽毛球运动员。2017年4月,温妮·奥克塔温纳·坎道与里诺夫·里瓦尔迪出战大阪羽毛球国际挑战赛,在
  • 玛丽亚·维多利亚·道尔·波佐玛丽亚·维多利亚·道尔·波佐(意大利语:,1847年8月9日—1876年11月8日),西班牙王后,丈夫是意大利国王维托里奥·埃马努埃莱二世的次子阿梅迪奥。1870年,阿梅迪奥被选为西班牙国王,
  • 超巨磁阻效应超巨磁阻效应,又称庞磁阻效应(英语:Colossal magnetoresistance,简称CMR)是一种凝聚体物理学现象,是指材料(如La1-xCaxMnO3、La1-xSrxMnO3等)在磁场中,电阻会发生显著下降的现象。超
  • 卡拉斯纳霍尔卡城堡卡拉斯纳霍尔卡城堡(斯洛伐克语:Hrad Krásna Hôrka,匈牙利语:Krasznahorka vára)是斯洛伐克的一座城堡,位于科希策州罗日尼亚瓦。这座城堡首次见于记录是在1333年。1961年,卡拉