Un testo contenente una serie di prescrizioni, le quali specificano l'insieme delle azioni da compiere per risolvere un determinato problema. Ogni algoritmo deve essere finito, cioè ogni sua operazione deve avere termine in un intervallo finito di tempo; deve essere definito cioè devono essere chiariti univocamente i passi da eseguire senza contraddizioni e ciò significa che l'algoritmo deve essere totalmente e sempre comprensibile a chi dovrà utilizzarlo; deve essere effettivo, cioè ogni operazione, date le stesse condizioni iniziali, deve produrre sempre lo stesso risultato; deve essere generale, cioè deve essere in grado di risolvere l'intera classe o categoria di problemi alla quale appartiene il problema in esame; deve essere eseguibile, cioè la sua esecuzione deve essere possibile con gli strumenti di cui si dispone.