Ένας αλγόριθμος είναι μια πεπερασμένη, καλά ορισμένη ακολουθία βημάτων που μετατρέπει την είσοδο στο επιθυμητό αποτέλεσμα. Τον αξιολογούμε σε δύο άξονες: ορθότητα (παράγει πάντα τη σωστή απάντηση;) και απόδοση (πόσο χρόνο και μνήμη χρησιμοποιεί;).
Η ιδέα
Ένας έγκυρος αλγόριθμος πρέπει να είναι (κάθε βήμα είναι ξεκάθαρο), (τερματίζεται) και να παράγει το αποτέλεσμα για κάθε έγκυρη είσοδο.
