递归定义

✍ dations ◷ 2025-07-08 15:21:10 #递归论,定义,理论计算机科学,数理逻辑

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

大部分的递归定义都由三个部分构成:基本情况的定义,递归法则和递归结束的情况。如果定义的对象是无限的,那么可以省略第三个部分(递归结束的情况)。比如说,可以用递归定义的方式来定义如下的一个自然数集上的函数 f {\displaystyle f}

这个定义在逻辑上是成立的,因为它首先定义了 f {\displaystyle f} 在最小的自然数0上的取值,接下来对每个大于零的自然数 n {\displaystyle n} ,只要重复有限多次定义的过程,最终就会回到对0的定义上。这样定义出的函数 f {\displaystyle f} 就是阶乘函数。

递归定义和循环定义的不同之处在于,后者不包括对基本情况的定义。比如定义建立在整数集上的函数 g {\displaystyle g}

则我们永远无法确定 g {\displaystyle g} 的取值,这便是循环定义。

相关

  • 后天免疫系统后天性免疫(英语:adaptive immunity)也称为获得性免疫、适应性免疫、特异性免疫、专一性防御,是一种经由与特定病原体接触后,产生能识别并针对特定病原体启动的免疫反应。和后天
  • 犹太-摩洛哥语犹太-摩洛哥语(希伯来语:מרוקאית יהודית)是由原先居住在摩洛哥的犹太人发展而出的阿拉伯语一个形式,目前大多数使用该语言的人都在以色列和法国,而少部分留在摩
  • 卡尔·蔡斯卡尔·蔡司公司(Carl Zeiss AG)是一家制造光学系统、工业测量仪器和医疗设备的德国企业。公司的名称来源于它的创始人之一———德国光学家卡尔·蔡司。它由卡尔·蔡司、恩斯
  • 塔斯马尼亚岛坐标:42°10′46.88″S 146°38′43.83″E / 42.1796889°S 146.6455083°E / -42.1796889; 146.6455083塔斯马尼亚州(英语:Tasmania,缩写为TAS),简称塔州,是澳大利亚唯一的岛州,原
  • 中东呼吸综合征中东呼吸综合征(英文缩写:MERS)是一种由中东呼吸综合征冠状病毒(前称“2012年新型冠状病毒”)所引起的新型人畜共患的呼吸系统传染病。患者常见的症状为发热、咳嗽、喉咙痛或胸痛
  • 阿布米那阿布米那(阿拉伯语:أبو مينا‎),又译作阿布米奈,是埃及的一座基督教圣城,位于亚历山大港西南部约45公里。1979年列入联合国教科文组织世界遗产名录,登录名称为阿布米那基督
  • 曾祯曾祯,制作人,从事戏剧工作长达十八年,参与制作过之戏剧作品近三十部,擅长剧组运作之各项统筹执行工作、拍摄进度掌控、人力资源调度分配、剧本构思策划及撰写等,目前为瑞陞传播有
  • 阿尔伯特·施佩尔柏林工业大学 慕尼黑工业大学 卡尔斯鲁厄理工学院贝托尔德·康拉德·赫尔曼·阿尔伯特·施佩尔(Berthold Konrad Hermann Albert Speer,1905年3月19日-1981年9月1日)是德国建筑
  • 白齐文白齐文(Henry Andres Burgevine,1836年-1865年),或译白聚文,全名亨利·安德烈·白齐文,法裔美国人。太平天国时,原为清兵雇用的常胜军第二任队长,因劫掠四万银元,被李鸿章撤职,后投奔太
  • 高季兴同光:924年三月-926年四月 天成:926年四月-928年六月 楚武信王高季兴(858年-929年),原名高季昌,因避后唐庄宗李存勗祖父李国昌的名讳,改为季兴,字贻孙,陕州峡石(今河南三门峡东南)人,五代