Con il termine algoritmo si intende una sequenza finita di istruzioni elementari che permettono il raggiungimento di un obiettivo definito in precedenza. Ogni istruzione deve essere concretamente realizzabile ed eseguibile dall'esecutore in un tempo finito e non sono ammesse ambiguità.