Thuật toán có tính dừng, tính xác định, tính đúng đắn
Giải thích :
+ Thuật toán phải kết thúc sau một số hữu hạn lần thực hiện cac thao tác → tính dừng. + Sau khi thực hiện một thao tác thì hoạc là thuật toán kết thúc hoặc có đúng 1 thao tác xác định để thực hiện tiếp theo → tính xác định. + Sau khi thuật toán kết thúc, ta phải nhận được Output của cần tìm → Tính đúng đắn.