(1) Un insieme finito di regole ben definite per la soluzione di un problema in un numero finito di passi; ad esempio, una specifica completa di una sequenza di operazioni aritmetiche per valutare sine x per un determinato precision.~(2) qualsiasi sequenza di operazioni per l'esecuzione di un compito specifico.