Ένας αλγόριθμος πρέπει να ικανοποιεί τα παρακάτω κριτήρια:
1. Είσοδος (μπορεί να εξαιρείται)
2. Έξοδος
3. Καθοριστικότητα
4. Περατότητα
5. Αποτελεσματικότητα
Αλγόριθμος: Μια πεπερασμένη σειρά ενεργειών, αυστηρά καθορισμένων και εκτελέσιμων σε πεπερασμένο χρόνο, που στοχεύουν στην επίλυση ενός προβλήματος.