程式调用自身的编程技巧称为递归（ recursion）。递归做为一种算法在程式设计语言中广泛套用。 一个过程或函式在其定义或说明中有直接或间接调用自身的一种方法，它通常把一个大型複杂的问题层层转化为一个与原问题相似的规模较小的问题来求解，递归策略只需少量的程式就可描述出解题过程所需要的多次重複计算，大大地减少了程式的代码量。递归的能力在于用有限的语句来定义对象的无限集合。一般来说，递归需要有边界条件、递归前进段和递归返回段。当边界条件不满足时，递归前进；当边界条件满足时，递归返回。

递归，就是在运行的过程中调用自己。

构成递归需具备的条件：

1，子问题须与原始问题为同样的事，且更为简单；

2，不能无限制地调用本身，须有个出口，化简为非递归状况处理。

在数学和计算机科学中，递归指由一种（或多种）简单的基本情况定义的一类对象或方法，并规定其他所有情况都能被还原为其基本情况。

如果数列{an}的第n项与它前一项或几项的关係可以用一个式子来表示，那幺这个公式叫做这个数列的递推公式。

由递推公式写出数列的方法：

1，根据递推公式写出数列的前几项，依次代入计算即可

2，若知道的是末项，通常将所给公式整理成用后面的项表示前面的项的形式。

递归公式属于递推公式，这样一个数列可以有三种给出的方法。

例如自然数列用通项公式表示为：；

用递推公式表示为：，初始条件为a1=1；

用递归公式表示为：，初始条件，a1=1，a2=2；

线性递归公式：递归公式的各项的次数均为一次时，便称为线性递归公式。用连续k项的表达式来表示紧接的后一项的线性递归公式叫做k阶线性递归公式，其一般形式如下：。

递归程式处理的问题是程式设计中经常遇到的问题，这类问题通常可以分为两类：第一类是数学上的递归函式，要求算得一个函式值，例如阶乘函式和勒让德多项式函式；第二类问题具有递归特徵，目的是求出满足某种条件的操作序列，例如汉诺塔问题和八皇后问题。第一类问题的程式设计是简单的、机械的，而第二类问题则不然，由于涉及面广，没有统一的规则可循，所以编程过程往往比较複杂，而且编得的程式不大好理解。究其原因在于，第一类问题已经有了现成的函式公式，第二类则没有。如果对第二类问题也能写出它的递归公式，那幺编码过程就会大大简化，而且还可以改善程式的可读。

递归程式设计的公式化方法是一种简单而有效的设计思想，它把程式设计和程式理解的难点都集中到递归公式上。陆登波通过举例证明这种思想能够简化程式设计，而且得到的程式显然好于通常的程式。这种思想有普遍性，适用于多数递归程式的设计。由递归公式设计出的程式具有标準的分支结构，编写和理解都要简单的多。