。C语言这要求"O"("n")栈空间，除非重写用跳转代替调用。 对于树，Python语言例子:
高级例子.可以自然地实现为每个对应一个函数，就可以是互递归、多递归，因为产生式规则一般要组合多个部分。 互递归也可以实现有限状态机，每个函数表示一个状态，这要求尾递归优化因为状态变迁可能是非常大或无限的。互递归可用于，以代替协程。 有些算法自然地分成两个阶段，如minimax算法，每个阶段可以用一个函数实现。 
数学函数.数学上，是一对整数序列用互递