Un algoritmo è una strategia atta alla risoluzione di un problema, costituita da una sequenza finita di operazioni

(dette anche istruzioni), che consente di risolvere tutti i quesiti di una stessa classe. Un algoritmo deve dunque essere:

• finito, cioè quando è costituito da un numero finito di istruzioni e presenta una fine;

• deterministico, cioè quando partendo dagli stessi dati in input, si ottengono i medesimi risultati in output;

• non ambiguo, le operazioni devono poter essere interpretate nello stesso modo da tutti anche se l'esecutore è differente;

• generale, cioè quando la soluzione è uguale per tutti i problemi della medesima classe.

Il termine deriva dalla trascrizione latina del nome del matematico persiano al-Khwarizmi, vissuto nel IX secolo d.C., che è considerato uno dei primi autori ad aver fatto riferimento a questo concetto scrivendo il libro Regole di ripristino e riduzione.