递归（Recursion）是指在 函数或过程在运行过程中直接或间接调用自身的现象。递归是一种常用的算法设计方法，它通过将一个复杂问题分解为更小的子问题来解决，直到达到一个基本情况（base case），然后逐步返回并组合子问题的解来得到最终答案。
递归通常需要满足以下两个条件：
基本情况（Base Case）：
存在一个或多个简单的情况，可以直接得出答案而不需要进一步递归。这是递归终止的条件。
递归步骤（Recursive Step）：
在每一步递归中，问题被转化为一个或多个更小规模的相同问题，并通过调用自身来解决这些子问题。
递归在程序设计语言中广泛应用，因为它能够以简洁的方式描述复杂问题的求解过程，减少代码量，并使思路更加清晰。然而，递归也需要注意其效率和栈空间的使用，因为在每次函数调用时都会占用一定的内存空间，如果递归层次过深，可能会导致栈溢出。
递归的一个经典例子是计算阶乘（n!）：
```python
def factorial（n）:
if n == 0: 基本情况
return 1
else:
return n * factorial（n-1） 递归步骤
```
在这个例子中，`factorial` 函数通过调用自身来计算 `n-1` 的阶乘，直到 `n` 降到 0，达到基本情况，然后逐步返回并计算结果。
总的来说，递归是一种强大的编程技巧，能够简化复杂问题的解决方案，但在使用时也需要注意其栈空间的使用和效率问题。