en(unsigned int n) {bool is_odd(unsigned int n) {这套函数是基于对问题"4是偶数?"等价于"3是奇数?"，依次等价于"2是偶数?"，直到0. 这个例子是相互，很容易改写为迭代。这个例子中的互递归是尾调用，尾调用优化是必须的以能在常量大小栈空间完成计算。C语言这要求"O"("n")栈空间，除非重写用跳转代替调用。 对于树，Python语言例子:
高级例子.可以自然地实现为每个对应一个函数，就可以是互递归、多递归，因为产生式规