“ Sequenza logica di istruzioni elementari (univocamente interpretabili) che, eseguite in un ordine stabilito, permettono la soluzione di un problema in un numero finito di passi ”.

Da questa definizione si evincono le quattro proprietà fondamentali dell'algoritmo:

1) la sequenza di istruzioni deve essere finita;

2) essa deve portare ad un risultato;

3) le istruzioni devono essere eseguibili materialmente;

4) le istruzioni devono essere espresse in modo non ambiguo.