Tính dừng: thuật toán phải kết thúc sau 1 số hữu hạn lần thực hiện các thao tác.

- Tính xác định: sau khi thực hiện 1 thao tác thì hoặc là thuật toán kết thúc hoặc là có đúng 1 thao tác xác định để được thực hiện tiếp theo.

- Tính đúng đắn: sau khi thuật toán kết thúc, ta phải nhận được Output cần tìm.
Xem thêm tại: https://loigiaihay.com/ly-thuyet-bai-toan-va-thuat-toan-trang-32-sgk-tin-hoc-10-c156a24880.html