互递归

互递归是数学与计算机科学中一种递归，指两个数学或计算机对象如函数或数据类型互相定义。互递归在函数编程语言或某些问题域中非常常见，如递归下降分析器，其中数据类型是自然地互相递归定义的。采取互递归定义的最重要的基本数据类型是树。