Thuật toán có tính:

Một thuật toán có ba tính chất quan trọng: 1. **Tính dừng:** Thuật toán phải kết thúc sau một số hữu hạn bước. 2. **Tính xác định:** Mỗi bước trong thuật toán phải được định nghĩa rõ ràng, không mơ hồ, và cho kết quả duy nhất. 3. **Tính đúng đắn:** Thuật toán phải cho ra kết quả đúng như mong đợi cho mọi đầu vào hợp lệ. Các lựa chọn khác không đầy đủ hoặc chứa các tính chất không phải là các tính chất cơ bản của thuật toán. Ví dụ, "tính liên kết" và "tính tuần tự" không phải là các đặc điểm chính được dùng để mô tả mọi thuật toán.