(1) Un set finit de norme bine definite pentru rezolvarea unei probleme într-un număr finit de pași; de exemplu, o specificaţie completă a o secvenţă de operaţii aritmetice pentru evaluarea sinus x la un precision.~(2) dat orice secvenţă de operaţii pentru îndeplinirea unei sarcini determinate.