Thuật toán Euclid tính hiệu quả ước chung lớn nhất (GCD) của hai số nguyên. Đoạn giả mã dưới đây triển khai ý tưởng này theo cách đệ quy.
○ kiểu số nguyên: gcd(số nguyên: a, số nguyên: b)
if (b bằng 0) then
return a
else
return gcd(b, a mod b)
endif