递归定义

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

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

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

相关

苯海拉明苯海拉明（英语：Diphenhydramine）是一种抗组胺药，主要用于治疗过敏症，也可以用于治疗失眠、感冒症状、帕金森氏症震颤和恶心。给药方式是口服、静脉注射及肌肉注射。最大效果通常
猫科动物猫亚科 Felinae 豹亚科 Pantherinae †剑齿虎亚科 Machairodontinae †原小熊猫亚科 Proailurinae猫科包括狮子、老虎和豹等动物，是食肉目的9个科中最具肉食性的哺乳动物。第
舍利子舍利（梵语：शरीर śarīra，汉语拼音：Shèlì），又作坚固子、舍利子、设利罗，意为尸体或身骨，常指骨灰。其中有的结晶体形色各异。最早指佛陀释迦牟尼遗体自行火化后遗留的固体物，后
加利福尼亚州议会加利福尼亚州议会（英语：California State Legislature），是美国加利福尼亚州的立法机构。加利福尼亚州议会为两院制，包含加利福尼亚州参议院（英语：California State Senate）与加利福
海枣椰枣（学名：Phoenix dactylifera），又名海枣、波斯枣、伊拉克蜜枣、无漏子、番枣、海棕、仙枣等，为棕榈科刺葵属的植物。椰枣树具有耐旱、耐碱、耐热而又喜欢潮湿的特点。树龄可达
义乌义乌市，是中国浙江省金华市所辖的一个县级市。义乌为浙江省综合实力第三大县市，也是中国经济最发达的县级市之一，其综合竞争力2010年位居浙江省第三位，全国百强县（市）第八位。2005
卢森尼亚人Flag of Carpathian Ruthenia 卢森尼亚人（Rusyns），或称喀尔巴阡-卢森尼亚人、喀尔巴阡-罗斯人。与鲁塞尼亚人经常混同，是斯拉夫人的一支。以卢森尼亚语为母语。目前卢森尼亚人
黄桑希兰黄桑希兰（英文名：Jennie S. Hwang，1949年－），材料科学家，美国国家工程学院首位华裔女院士。她的专业研究领域包括芯片封装的材料与制程。于1949年出生于中国大陆，因为中国政权的易帜
卜士礼卜士礼，CMG，MD（英语：Stephen Wootton Bushell，1844年7月28日－1908年9月19日），英国医生、东方学家，在中国陶器、钱币学、西夏文解读等方面都有贡献。卜士礼出生于英国肯特郡，曾就读于唐
朗缪尔方程朗缪尔方程（英语：Langmuir equation，亦称为朗缪尔等温线、朗缪尔吸附方程或兰牟而方程或希尔-朗缪尔方程）建立了在一定温度下分子在固体表面的覆盖范围或吸附情况与固体表面之上