递归定义

✍ dations ◷ 2025-11-25 11:50:57 #递归论,定义,理论计算机科学,数理逻辑

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

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

相关

仡央语族仡央语群是侗台语系的一支，又称Kra。分布在中国贵州省中部、西部、云南省东部的文山壮族苗族自治州、广西西部和越南北部边境地区。使用人数很少，使用仡央语族的总人数约2万人
㖊英寻（㖊）是一种英美长度单位，1英寻为6英尺，约合1.8288米；不属于国际单位制。英寻（英语：Fathom）来自古英语“Fæthm”，表示“伸展开的双臂”，因而一英寻也就是两臂之长。如今这个单位的
土库曼苏维埃社会主义共和国土库曼苏维埃社会主义共和国（土库曼语：Түркменистан Совет Социалистик Республикасы；俄语：Туркменская Советска
五方色道教和中华传统文化里的五色，即：青（蓝，或偏绿）、赤（大红）、白、黑、黄；道教将五行与五色配比，敷衍出诸多内涵，比如与五方相配，认为五色各代表一个方位，故又叫五方色。五方色文化同时也在
KBS交响乐团KBS交响乐团（谚文：KBS 교향악단）是韩国最著名的交响乐团，韩国放送公社（KBS）所属。它在1956年于韩国放送公社（KBS）成立。在1969年至1981年，它成为一个国营组织，更名为韩国国家交响乐团
臣部臣部，为汉字索引中的部首之一，康熙字典214个部首中的第一百三十一个（六划的则为第十四个）。就繁体和简体中文中，臣部归于六划部首。臣部只以左方为部字。且无其他部首可用者将部
苯氧乙醇苯氧乙醇（Phenoxyethanol）是一种经常用于护肤产品的酚醚类有机化合物，可由乙二醇及苯醇醚化而成，常见于护肤霜和防晒霜。苯氧乙醇是一种无色的油状液体，有抗菌及消毒的功效，一般与
李京恬国立台湾师范大学音乐系李京恬（1990年1月7日－），台湾女演员，国立台湾师范大学音乐系毕业。模特儿出身，现以转战戏剧为主。2016年，因饰演《恋爱邻距离》裴家最小的妹妹“裴又欣”一角
约瑟夫·恰佩克约瑟夫·恰佩克（捷克语：Josef Čapek，1887年－1945年），旧译约瑟夫·卡贝克，是捷克画家、作家。其弟弟卡雷尔·恰佩克也是著名作家。1887年出生在一个医生家庭。曾做过纺织工人和铁匠
索尼（中国）索尼（中国）有限公司（英语：Sony (China) Limited），简称索尼中国，是日本索尼公司于中国大陆设立的统括控股公司，主要负责索尼在华业务的区域性管理。