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