递回在电脑科学中是指一种通过重复将问题分解为同类的子问题而解决问题的方法。 递回式方法可以被用于解决很多的电脑科学问题，因此它是电脑科学中十分重要的一个概念。 绝大多数程式语言支援函式的自呼叫，在这些语言中函式可以通过呼叫自身来进行递回。计算理论可以证明递回的作用可以完全取代循环，因此有很多在函数程式语言中用递归来取代循环的例子。
2
共递归在计算机科学重视一类操作，与递归在范畴论上对偶。因而递归是分析地工作，把数据分解为更小的数据直至达到基本情况。共递归是合成地工作，从基本情况构造出数据。共递归的数据是自己一点一点构造出来的。一个类似但不同的概念是生成式递归。
rsync是Unix下的一款应用软件，它能同步更新两处计算机的电脑档案与目录，并适当利用差分编码以减少数据传输量。rsync中的一项同类软件不常见的重要特性是每个目标的网站镜像只需传送一次。rsync可以拷贝／显示目录内容，以及拷贝档案，并可选数据压缩以及递归拷贝。
函式呼叫图，属于控制流图，可以展示计算机程序中子程序之间的关系。每一个节点是一个函式，每一个边表示函式f呼叫函式g。若其中有出现互相呼叫的环，表示程式中可能有递归。
龙形曲线是一种自相似碎形曲线的统称，因形似龙的蜿蜒盘曲而得名，可利用递归法来生成，例如从生物学发展起来的L系统。
龙形曲线是一种自相似碎形曲线的统称，因形似龙的蜿蜒盘曲而得名，可利用递归法来生成，例如从生物学发展起来的L系统。
函式呼叫图，属于控制流图，可以展示计算机程序中子程序之间的关系。每一个节点是一个函式，每一个边表示函式f呼叫函式g。若其中有出现互相呼叫的环，表示程式中可能有递归。
函式呼叫图，属于控制流图，可以展示计算机程序中子程序之间的关系。每一个节点是一个函式，每一个边表示函式f呼叫函式g。若其中有出现互相呼叫的环，表示程式中可能有递归。
Cuneiform是用于大规模科学数据分析的开源软件工作流程语言。
它是促进并行计算的静态类型的纯函数式编程编程语言。它的特征是有个全功能的外界函数接口，允许用户集成来自很多外部编程语言的软件。Cuneiform在组织层面上提供了一些设施，如条件分支和递归，使其具有图灵完备性。
Mini wiki
