互遞歸

互遞歸是數學與計算機科學中一種遞歸 ， 指兩個數學或計算機對象如函數或數據類型互相定義 。 互遞歸在函數程式語言或某些問題域中非常常見 ， 如 ， 其中數據類型是自然地互相遞歸定義的 。