递归算法是一种编程技术，它的核心在于一个函数或过程通过调用自身来解决问题。递归的概念可以通过一个生动的故事来理解，比如"从前有座山，山上有座庙"的循环叙述，这种对象部分由自身组成的特性就是递归的体现。
在计算机科学中，递归通常用于解决那些可以分解为相同子问题的问题。一个递归函数或过程在其定义中会包含对自身的直接或间接引用。递归调用是指一个函数在执行过程中调用自身，通常配合一个终止条件（也称为基准或边界条件）以避免无限循环。
递归的特点包括：
1. 结构清晰：递归代码往往简洁明了，易于理解。
2. 可读性强：递归算法的逻辑通常直观地反映了问题的本质。
3. 设计容易：对于递归定义的问题或数据结构，设计递归算法可能比非递归算法更为简单。
递归的实现依赖于一个称为递归工作栈的数据结构。递归过程分为两部分：
1. 递推（Traversal）：问题向更小的子问题推进，这个阶段相当于将状态压入栈中。
2. 回归（Backtracking）：通过解决子问题最终回到原始问题，这个阶段相当于从栈中弹出状态。
在给定的示例中，`rever()` 函数展示了如何使用递归来反转输入的字符序列。输入如 "gn gn !"，递归调用 `rever()` 会将字符逐个处理，直到遇到终止符 '!'，然后开始回溯并打印出反向的字符序列。
另一个例子是计算阶乘的 `fac()` 函数，它利用递归公式 `fac(n) = n * fac(n-1)` 来计算 `n` 的阶乘。当 `n` 为 0 时，返回 1 作为基本情况。
递归的应用广泛，例如斐波那契数列就是一个经典的递归问题。斐波那契数列的第 `n` 项由前两项之和构成，即 `F(n) = F(n-1) + F(n-2)`，边界值为 `F(0) = 0` 和 `F(1) = 1`。通过递归计算，我们可以得到任意位置的斐波那契数。
在实际编程中，需要注意递归可能导致大量的函数调用，可能会消耗大量内存（因为每次调用都会保存现场信息），并可能导致栈溢出。因此，在编写递归算法时，应合理设计递归深度，优化递归过程，或考虑使用非递归的迭代方法来提高效率。
