，是一对整数序列用互递归方式定义的例子。 分形可用递归函数计算。有时用互递归计算更为精致，如。
流行性.互递归在函数程式语言风格中是常用的，如Lisp, Scheme, ML语言等。Prolog中互递归是不可避免。彼德·诺米格不提倡使用互递归：
术语.互递归也称，与相对。 
转换为直接递归.数学上，一套互递归函数是原始递归函数, 可通过证明, 构造单个函数"F"依次列出单个递归函数的值: formula_1，重写互递归为原