Đệ quy hỗ tương

Trong toán học và khoa học máy tính, đệ quy hỗ tương (tiếng Anh: mutual recursion) là một dạng đệ quy trong đó hai đối tượng toán hoc hoặc tính toán, như hàm hay kiểu dữ liệu, được định nghĩa theo nghĩa của nhau. Đệ quy hỗ tương rất phổ biến trong lập trình hàm và trong một số lĩnh vực vấn đề, như recursive descent parser, trong đó các kiểu dữ liệu được đệ quy lẫn nhau một cách tự nhiên.

Xem thêm

• Đệ quy
• Circular dependency

Tham khảo

• Harper, Robert (2000), Programming in Standard ML
• Harvey, Brian; Wright, Matthew (1999). Simply Scheme: Introducing Computer Science. MIT Press. ISBN 978-0-26208281-5.
• Hutton, Graham (2007). Programming in Haskell. Cambridge University Press. ISBN 978-0-52169269-4.

Liên kết ngoài

• Mutual recursion at Rosetta Code
• "Example demonstrating good use of mutual recursion", "Are there any example of Mutual recursion?", Stack Overflow