递归定义

✍ dations ◷ 2025-11-27 23:56:42 #递归论,定义,理论计算机科学,数理逻辑

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

大部分的递归定义都由三个部分构成：基本情况的定义，递归法则和递归结束的情况。如果定义的对象是无限的，那么可以省略第三个部分（递归结束的情况）。比如说，可以用递归定义的方式来定义如下的一个自然数集上的函数 $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$ 的取值，这便是循环定义。

相关

朝廷朝廷指中国、日本等汉字文化圈国家，在皇帝制度下对宫廷、中央政府等统治机构的总称。“朝”：中文所谓的“朝”字具有代表早晨，有今日（一昼夜）含义，在政治上延伸为今日治天下者，引用
行星学会行星学会（The Planetary Society）是一个受到广泛支持的非政府、非营利大规模机构，主要是进行与天文学相关的研究。成立于1980年，成立者是布鲁斯·穆雷、路易斯·弗里德曼、卡尔
攻城战攻城战是指对城堡、城市或要塞进攻的战争模式。依照战局模式另可分作巷战和包围战，目的可以是夺取建筑、资源、战略要地或是歼灭敌人。通常攻城战是不得已的情况下才要进行的
总务省总务省（日语：総務省／そうむしょう Sōmu Shō */?、英语：Ministry of Internal Affairs and Communications、缩写：MIC）是日本中央省厅之一。管辖行政，公务员，地方自治，选举·政治
东南季风东南季风，属季风亚洲中的一个季风。盛行于一带，为风向东南的夏季季风。亚洲内陆于夏季时，地面接受太阳热量后，温度迅速增高，形成一广大的低压区，使得太平洋上之空气吹向陆地，这种气
特效特效，是指电影或剧集在拍摄制作或后期制作的过程中，当有无法使用的自然环境或人物表现的场景和情节时，将采用特殊的技术手段和方法获得最终画面的技术。与特技等同。特效技术是
惠州话惠州话，又称惠城话、博罗话、东江话，在惠州市称为“本地话”、在博罗县称为“博罗话”。主要分布在惠州市惠城区和博罗县。此外惠阳区的平潭、良井、永湖、镇隆、秋长以及惠东
刘悦笛刘悦笛，1974年生。学者、中国社会科学院哲学所副研究员，国际美学协会（IAA）五位总执委之一，中华美学学会副秘书长兼常务理事，韩国艺术哲学学会（KAPA）顾问，《美学》杂志执行主编，Compara
裴子添裴子添（1990年6月17日－），出生于安徽省合肥市，中国内地影视男演员，毕业于北京电影学院表演系。
鎌瀨站鎌瀨站（日语：鎌瀬駅／かませえき */?）位于熊本县八代市坂本町镰濑，是九州旅客铁道（JR九州）肥萨线上的车站。岸式月台1面1线的车站。没有站房，月台上设有候车室。虽然熊本县道158号