Είσοδος: Ένας αλγÏŒριθµος µπορεί να δέχεται ως είσοδο µÎ¯α η περισσÏŒτερες τιμές δεδομένων, ή µμπορεί να µην δέχεται και τίποτα ως είσοδο.

 
 Îˆξοδος: Ένας αλγÏŒριθμος πρέπει να δημιουργεί τουλάχιστον µÎ¯α τιμή δεδομένων ως έξοδο.

 ΠερατÏŒτητα: Ο αλγÏŒριθµος θα πρέπει να τελειÏŽνει ύστερα απÏŒ έναν πεπερασµÎ­νο αριθµÏŒ βηµÎ¬των-εντολÏŽν.

 ΚαθοριστικÏŒτητα: Κάθε εντολή θα πρέπει να καθορίζεται πολύ συγκεκριµÎ­να, χωρίς να υπάρχει αµφιβολία για τον τρÏŒπο εκτέλεσής της.

ΑποτελεσµατικÏŒτητα: Κάθε εντολή του αλγÏŒριθµου θα πρέπει να είναι απλή ÏŽστε να µπορεί να εκτελεστεί