Thuật toán có tính "Hữu hạn" nghĩa là:

Thuật toán chỉ có 3 bước.

Thuật toán phải kết thúc sau một số hữu hạn các bước.

Thuật toán không bao giờ dừng lại.

Thuật toán chỉ dùng được cho một người.