递归定义

✍ dations ◷ 2025-12-08 15:20: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$ 的取值，这便是循环定义。

相关

GhotiGhoti是一个为表现英语拼写的不规则性而被人为创造出来的单词。这个单词与“fish”（/ˈfɪʃ/，意为“鱼”）一词发音相同，被认为是fish的另一种拼写形式。“ghoti”一词包括三个
三氯乙酸三氯乙酸，即1,1,1-三氯乙酸，无色固体，是乙酸的甲基被三氯甲基替代后形成的化合物，化学式为CCl3COOH。受氯的吸电子效应的影响，三氯乙酸的酸性比乙酸更强。它由乙酸与氯在碘催化下
唐敖庆唐敖庆（1915年11月18日－2008年7月15日），江苏宜兴人，中国理论化学家，教育家，中国科学院院士。1936年夏，唐敖庆考入北京大学化学系学习。“七七”事变爆发后，随校南迁，先在长沙临时大学
日耳曼尼库斯日耳曼尼库斯（Germanicus Julius Caesar）（公元前16/15年5月24日至公元19年10月10日），是儒略-克劳狄王朝的一位王室成员，也是罗马帝国皇帝卡里古拉之父，生前颇受群众爱戴。他的名字
池上断层池上断层（英语：Chihshang Fault），台湾东部的地震断层。具左移性质之逆移断层，位于花莲县和台东县，长约65公里，归为第一类活动断层。断层由瑞穗东南方一带向南南西延伸至池上东南方
洛杉矶市中心洛杉矶市中心（Downtown Los Angeles）是加利福尼亚州洛杉矶中央商业区与多样化的居民区，约50,000人居住。2013年的研究发现，该小区提供超过50万人就业。洛杉矶市中心成立于1781年
江淮江淮，顾名思义，指江（长江）、淮（淮河）一带，广义上指江南、淮南地区，狭义上指长江、淮河之间的地区，即今江苏、安徽的中部地区。在古代，江淮指江南、淮南地区，汉朝时仍未开发，九江“郡多虎
叶甫根尼·普鲁申科叶甫根尼·维克托罗维奇·普鲁申科（Евге́ний Ви́кторович Плю́щенко，Evgeni Viktorovich Plushenko，1982年11月3日－）是俄罗斯花样滑冰男子单人滑选
卡斯姆卡斯姆（爱沙尼亚语：Käsmu）是位于爱沙尼亚北部西维鲁县的一个村镇。卡斯姆首次被提及是在1453年。现在卡斯姆有人口131人。
黎明前夕黎明前夕（英语：Before the Dawn，简称“BTD”）是一支来自芬兰的旋律死亡金属/哥特金属乐队，由托马斯·绍科宁（Tuomas Saukkonen）在1999年成立。黎明前夕最初是托马斯·绍科宁一个人