O secvență de reguli bine definite, lipsite de ambiguitate sau procese pentru soluţia unei probleme într-un număr finit de pași. Computere poate efectua paşi în multe tipuri de algoritmi.