递归定义

✍ dations ◷ 2025-12-09 17:32:36 #递归论,定义,理论计算机科学,数理逻辑

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

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

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

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

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

相关

S. P. Otto莎拉·奥托（英语：Sarah "Sally" Otto），昵称莎莉，是理论生物学家、作家、以及英属哥伦比亚大学的生物多样性研究中心主任。奥托在2011年获得麦克阿瑟奖。因为他对生物学的整合之贡
陆澳关系中国大陆与澳门关系，也称作澳陆关系或陆澳关系，是指中国内地与中国澳门特别行政区之间的关系。1999年，根据《中葡联合声明》，葡萄牙将澳门主权移交给中华人民共和国，成立特别行政
人民军最高司令官朝鲜民主主义人民共和国主题朝鲜民主主义人民共和国武装力量最高司令官（朝鲜语：조선민주주의인민공화국 무력 최고사령관／朝鮮民主主義人民共和國武力最高司令官），前称“朝鲜人民
詹姆斯·米德尔顿·考克斯詹姆斯·米德尔顿·考克斯（英语：James Middleton Cox，1870年3月31日－1957年7月15日），美国民主党籍政治人物，曾任美国众议院议员（1909年-1913年）和俄亥俄州州长（1913年-1915年、1917年-
赫克歇尔-奥林定理赫克歇尔-奥林定理（英语：Heckscher–Ohlin theorem），简称H-O定理，是根据赫克歇尔-奥林模型推导而出的经济学定理，由伊莱·赫克斯赫和贝蒂尔·奥林提出。揭示了每个国家拥有相对优
胰岛素样生长因子11B9G、1GZR、1GZY、1GZZ、1H02、1H59、1IMX、1PMX、1TGR、1WQJ、2DSR、2GF1、3GF1、3LRI、1BQT、4XSS347916000ENSG00000017427ENSMUSG00000
罗德·布拉戈耶维奇罗德·布拉戈耶维奇（Rod Blagojevich，1956年12月10日－）出生于芝加哥，美国政治家，美国民主党成员，曾任美国众议员（1997年-2003年），第四十任伊利诺伊州州长（2003年至2009年1月29日）。布拉
周德华 (唐朝)周德华（？年－？年），周季崇与刘采春的女儿，善歌《杨柳枝词》。《杨柳枝曲》作者说法不一。有的记载为周德华采贺知章、滕迈、杨巨源、韩琮、刘禹锡等人之作为歌词，也有说是刘禹锡的作品
约翰·古德曼约翰·史蒂芬·古德曼（英语：John Stephen Goodman，1952年6月20日－）是一位美国男演员。较著名的是在ABC电视剧《罗斯安家庭生活》（1988年至1997年）中饰演丹·康纳，为此赢得金球奖最佳
兴富发建设兴富发建设股份有限公司（英语：Highwealth Construction），又称兴富发建设或兴富发，是一家台湾的建设公司。北部地区中部地区南部地区