What is important is that the formalization allows a straightforward mapping of algorithms to some data type that the algorithm can operate upon.
Αυτό που έχει σημασία είναι ότι η τυποποίηση επιτρέπει μια άμεση χαρτογράφηση αλγορίθμων σε ένα είδος δεδομένων πάνω στα οποία μπορεί να λειτουργήσει ο αλγόριθμος.