递归定义

✍ dations ◷ 2025-11-22 20:58:03 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

沃森詹姆斯·杜威·沃森（英语：James Dewey Watson，1928年4月6日－），美国分子生物学家，20世纪分子生物学的牵头人之一。与同僚佛朗西斯·克里克因为共同发现DNA的双螺旋结构，而与莫里斯·
好利获得好利获得（意大利语：Olivetti S.p.A.），意大利资讯科技公司，成立于1908年，专门研发和出品商业器材和电脑系统。目前母公司为意大利电信。公司成立于1908年，以生产打字机起家。其后不
彗星型客机德·哈维兰“彗星”（De Havilland Comet，D.H 106）是由英国哈维兰公司研发的喷气式客机。亦是全球首款以喷射引擎为动力的民用飞机，外表以0.5毫米的铝制蒙皮包覆，且可飞行至10000
漕运漕运，指中国历史上从内陆河流和海路运送官粮到朝廷和运送军粮到军区的系统，包括开发运河、制造船只、征收官粮及军粮等。明代太祖时，设京畿都漕运司，设漕运使。洪武元年设漕运使
普布利乌斯·弗莱维厄斯·维盖提乌斯·雷纳特斯普布利乌斯·弗莱维厄斯·维盖提乌斯·雷纳特斯（Publius Flavius Vegetius Renatus），约活动于公元4世纪后半期。著有关于古罗马军事体制论著《论军事》，凡四卷。尽管他非军人而
张军张军可以指：
粒子数粒子数是热力学系统中的一个参数，常规用字母N表示，是该系统中的组成粒子数量。粒子数是热力学中的一个基本参数，是与化学势共轭的参数。不同于大多数的物理量，粒子数是一个无因
北萨米语北萨米语（davvisámegiella），为萨米语支中使用最广的一门语言。使用地区包括挪威、瑞典和芬兰的北部地区。使用人口约15,000到25,000人，其中2000人生活在芬兰，5000到6000人生活在
若昂·多明戈斯·邦滕波若昂·多明戈斯·邦滕波（葡萄牙语：João Domingos Bomtempo，1775年12月28日－1842年8月18日），葡萄牙作曲家，钢琴家。曾在法国，英国长期以钢琴家身份活动，1822年回国并创建里斯本音乐学
东北边疆历史与现状系列研究工程东北边疆历史与现状系列研究工程，简称东北工程，是中国2002年开始进行的一项历史研究项目，计划为时5年，由中国社会科学院和东北三省联合主办。东北工程课题包括三大系列：研究类、