递归程序是指 一个函数或过程直接或间接调用自身来解决问题的编程技术。递归程序通常包括两个主要部分：基准情况（Base Case）和递归步骤（Recursive Step）。
基准情况：
这是递归结束的条件，当满足某些特定条件时，递归将停止，不再进行自我调用。基准情况通常是问题规模最小的情况，可以直接求解。
递归步骤：
在这一步中，函数会调用自身，但每次调用时问题的规模都会减小，直到达到基准情况。通过这种方式，递归程序将复杂问题分解为一系列可以逐步解决的小问题。
递归的关键在于确保有一个明确的终止条件，否则程序会陷入无限循环，最终导致崩溃。递归的实现依赖于计算机的栈机制，每次函数调用都会在栈上保存当前的状态，以便在返回时能够恢复执行。
递归在许多编程问题中都非常有用，例如计算阶乘、斐波那契数列、汉诺塔问题等。尽管递归程序在逻辑上可能显得简洁清晰，但它们通常比迭代程序更难以理解和调试，并且在性能上可能不如迭代方法高效，因为递归调用会增加额外的函数调用开销和时间复杂度。