1. proprietatea algoritmilor de a furniza rezultatele după un număr finit de paşi realizați 2. proprietatea algoritmilor de a furniza o soluție (date de ieşire) unică pentru un anumit set de date de intrare, indiferent de numărul de efectuări a 3. proprietatea algoritmilor prin care fiecare pas din algoritm poate fi verificat 4. proprietatea algoritmilor de a furniza o soluție corectă 5. proprietatea algoritmilor de a furniza datele după un număr finit de paşi, chiar dacă nu e cel mai mic număr de paşi 6. proprietatea algoritmilor prin care procesul de calcul (paşii parcurşi) este descris precis, fără ambiguități 7. proprietatea algoritmilor de a furniza datele după un număr minim de paşi 8. proprietatea algoritmilor prin care se iau in considerare şi cazurile particulare ale problemei generale 9. proprietatea algoritmilor prin care acesta este conceput pentru o clasă generală de probleme, nu pentru o problemă particulară 7 5 6​