归函数, 可通过证明, 构造单个函数"F"依次列出单个递归函数的值: formula_1，重写互递归为原始递归。 任何两个过程之间的互递归可以转换为直接递归，这通过把一个过程内联至另一个过程实现。 任何数量的互递归过程可以合并为单一过程，这通过标签联合(一种)表示选择过程与它的参数。这可以看作的有限应用.