Thuật toán đệ quy trong Pascal

Thuật toán đệ quy trong Pascal

Định nghĩa: một đối tượng gọi là đệ quy nếu bao gồm chính nó hay nó được định nghĩa bởi chính nó.
Thủ tục đệ quy:một thủ tục gọi là đệ quy nếu trong quá trình thực hiện nó phải gọi đến chính nó nhưng với kích thước nhỏ hơn của tham số
vd:
Function giaithua(n:word):integer;
begin
if n=0 then giaithua:=1
else giaithua:=giaithua(n-1)*n
end; {trong bản thân hàm giaithua gọi chính nó (mặc dù chưa kết thúc hàm) với tham số nhỏ hơn là n-1}

 Cấu trúc của một thủ tục đệ quy:
-Phần neo:trong đó chứa các tác động của thủ tục hoặc hàm với một giá trị cụ thể ban đầu của tham số
-Phần hạ bậc trong đó tác động cần được thực hiện cho giá trị hiện thời của các tham số được định nghĩa bằng các tác động đã được định nghĩa trước đây
Ưu điểm của đệ quy:
- Đệ quy mạnh mẽ ở chỗ có thể định nghĩa một tập rất lớn bởi một số hữu hạn các mệnh đề