递归定义

✍ dations ◷ 2025-12-09 23:37:28 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

CD4+ T细胞辅助T细胞（T helper cells, Th），又称为助手型T细胞，是一种T细胞（白细胞的一种），它的表面有抗原受体，可以辨识抗原提呈细胞的MHC-II类分子呈献的抗原片段。一旦受到抗原刺激，Th细胞就
犬心丝虫犬心丝虫（学名： Dirofilaria immitis，英语：Heartworm），一种寄生圆线虫，经由蚊子透过叮咬而从一个宿主传播到另一个宿主的身上。犬心丝虫属于线虫动物门圆线虫目丝线虫总科，会引起丝
千人计划海外高层次人才引进计划是中国共产党中央委员会组织部、中华人民共和国人力资源和社会保障部主管，中央人才工作协调小组组织实施的计划，计划引进2,000名左右人才，俗称千人计划
首尔市立大学首尔市立大学（韩语：서울시립대학교／서울市立大學校），是一所位于大韩民国首都首尔东部东大门区的大学，邻近清凉里。学校校训是“真理、创造、奉仕”。现学年在籍学生数目约11,000人
哈马黑拉岛哈马黑拉岛（Halmahera Island），又名济罗罗岛（Jilolo或Gilolo），是印度尼西亚马鲁古群岛主岛，属北马鲁古省管辖。全岛面积17,780平方公里，人口162,728人（1995年），八成居民为穆斯林，其余两
希腊国家图书馆希腊国家图书馆（希腊语：Εθνική Βιβλιοθήκη），位于雅典市中心附近，由丹麦建筑师特奥费尔·翰森设计，为其新古典主义建筑三部曲之一（另外两个是雅典科学院、雅典大学）
赫苏斯·洛佩斯·科沃斯赫苏斯·洛佩斯·科沃斯（西班牙语：Jesús López Cobos，1940年2月25日－2018年3月2日）是西班牙指挥家。1940年2月25日出生于托罗。先后在马拉加音乐学院和马德里皇家音乐学院学习
中国空间站中国空间站概括指中华人民共和国计划中的一个空间站系统。最终目标是在低地轨道由中国大陆自主建设成的一个常驻的60至180吨级的大型空间站。该计划分两个阶段进行。试验阶
三叠字三叠字是指汉字中一类由三个完全相同的部分所组成的叠字。
帕特里克·赫罗索夫斯基帕特里克·赫罗索夫斯基（斯洛伐克语：；1992年4月22日－）是一位斯洛伐克足球运动员。在场上的位置是中场。他现在效力于比利时甲级联赛A球队亨克。他也代表斯洛伐克国家足球队参赛。