Ένας αλγόριθμος δεν αποτελείται από μια οποιαδήποτε σειρά βημάτων ή εντολών αλλά μία σειρά από βήματα ή εντολές σε λογική σειρά και πρέπει επιπρόσθετα να έχει τα πιο κάτω χαρακτηριστικά:

• Σαφήνεια / Καθοριστικότητα: Κάθε βήμα (εντολή) του αλγορίθμου πρέπει να είναι απλό και να είναι διατυπωμένο με σαφήνεια, ώστε να μην υπάρχει αμφιβολία για τον τρόπο με τον οποίο θα εκτελεσθεί. Πρέπει, επίσης, να μπορεί να εκτελεσθεί με ακρίβεια μέσα σε συγκεκριμένα χρονικά πλαίσια (πεπερασμένος). Για παράδειγμα, η εντολή «προθερμαίνω τον φούρνο» δεν είναι σαφής, διότι δεν προσδιορίζει για πόσο χρονικό διάστημα προθερμαίνω τον φούρνο.
• Περατότητα: Κάθε αλγόριθμος πρέπει πάντα να τελειώνει ύστερα από την εκτέλεση ενός αριθμού βημάτων, με άλλα λόγια δεν μπορεί να συνεχίζει την εκτέλεσή του για πάντα.
• Αποτελεσματικότητα: Να δίνει συγκεκριμένα αποτελέσματα, τα οποία να μπορούν να εξακριβωθούν από έναν άνθρωπο, εκτελώντας με «μολύβι και χαρτί» τις εντολές / βήματα του αλγορίθμου. Επίσης οι εντολές αυτές θα πρέπει να είναι διατυπωμένες έτσι ώστε να μπορούν να εκτελεστούν από αυτόν στον οποίο απευθύνεται ο αλγόριθμος.

Από το βιβλίο Πληροφορικής του παιδαγωγικού ινστιτούτου της Κύπρου.

Μπορούμε να δούμε χαρακτηριστικά παραδείγματα.

Επίσης ανατρέξτε στο φωτόδεντρο για να δείτε το "πρόβλημα του βαρκάρη"