Một hàm tự gọi lại chính nó được gọi là đệ quy. Đoạn giả mã dưới đây tính đệ quy giai thừa (n!) của một số nguyên dương n, trong đó giai thừa của 0 được định nghĩa là 1.
○ kiểu số nguyên: factorial(số nguyên: n)
if (n bằng 0) then
return 1
else
return n × factorial(n - 1)
endif