递归定义

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

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

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

相关

罗马建城纪年罗马建城纪年（Ab urbe condita，简作AUC、a.u.c. 或 a.u），是古罗马时期历史学家所用的纪年法之一。“Ab urbe condita”在拉丁文中意为“从(罗马)城建立起”。通常将始年定在公元
醪糟酒酿，又称醪醩，是一种可以家庭制作的并广泛流行于中国各地及朝鲜半岛的小吃，味道甜，有酒味，在陕西、四川、江浙、北京、云南等地及韩国深受欢迎，其中朝鲜半岛的醪糟称为甘酒。酒酿
span class=nowrapCusub5/subSi/span硅化铜（Cu5Si）又名硅化五铜，是一种铜的二元硅化合物，为一种金属互化物，这意味着它的性质介于离子化合物和合金之间。可以通过加热铜与硅的混合物得到。立方晶体，其中a = 0.6224 nm
河道总督河道总督（满语：ᠪᠢᠷᠠᡞ ᠵᡠᡤᡡᠨ ᠪᡝ ᡠᡥᡝᠷᡞ ᠬᠠᡩᠠᠯᠠᠷᠠ ᠠᠮᠪᠠᠨ，穆麟德：birai jugūn be uheri kadalara amban）为中国明清官制名称，在清朝为正二品的官职。
尿素氮尿素氮（英文：Blood urea nitrogen，缩写：BUN），是蛋白质经过消化作用分解后所产生的代谢产物经过尿素循环在肝脏中转换为尿素。一般人的血清尿素氮正常值为每100ml血液中含7~21 mg(7
降钙素2glh· extracellular space · soluble fraction · G-protein signaling, coupled to cAMP nucleotide second messenger · adenylate cyclase activation · phosph
各国谋杀率列表各国谋杀率列表是指每年每10万人的谋杀数，统计数据从2000年开始。分析比较各国的谋杀率必须认真进行，可信的谋杀率也许是罕见的，这是因为不同国家的法律对“杀人”的定义不一样
太极殿 (太极宫)太极殿是隋朝和唐朝皇宫太极宫（隋朝时称大兴宫）的主殿，面对承天门，殿前广场可供欣赏表演。太极殿的性质和唐朝大明宫含元殿及明清故宫太和殿相似。太极殿主要是于皇帝上朝议政，举
藤田胜久藤田胜久（片假名：ふじたかつひさ，1950年－），日本山口县出生。中国历史学者、考古学者、爱媛大学教授。1978年，京都府立大学文学部毕业。1985年，进入于大阪市立大学就学，同年进入爱媛
白仙女文心兰白仙女文心兰（品种名： Winter Wonderland 'White Fairy'）为文心兰亚族的堇花兰属、齿舌兰属和长萼兰属（，台湾译蜘蛛兰属）三属杂交形成的一个品种，属于广义的文心兰，但并不属于文心兰