2
Các định nghĩa đệ quy trên một loại quy nạp với các thành phần lồng nhau
Xem xét một loại quy nạp có một số lần xuất hiện đệ quy trong một vị trí lồng nhau, nhưng hoàn toàn tích cực. Ví dụ, các cây có phân nhánh hữu hạn với các nút sử dụng cấu trúc dữ liệu danh sách chung để lưu trữ các …