互递归 互递归是数学与计算机科学中一种递归指两个数学或计算机对象如函数或数据类型互相定义互递归在函數程式語言或某些问题域中非常常见如递归下降分析器英语recursive descent parser其中数据类型是自然地互相递归定义的