为每个对应一个函数，就可以是互递归、多递归，因为产生式规则一般要组合多个部分。 互递归也可以实现有限状态机，每个函数表示一个状态，这要求尾递归优化因为状态变迁可能是非常大或无限的。互递归可用于，以代替协程。 有些算法自然地分成两个阶段，如minimax算法，每个阶段可以用一个函数实现。 
数学函数.数学上，是一对整数序列用互递归方式定义的例子。 分形可用递归函数计算。有时用互递归计算更为精致，如。
流行性.互递归在函数程式语言风格中是常用的，如