Algoritmu huwa sekwenza finita u definita tajjeb ta' passi li jitrasforma l-input fl-output mixtieq. Nivalutawha fuq żewg assi: korrezzjoni (dejjem jipprodwu r-risposta t-tajba?) u effiċjenza (kemm ta' ħin u memoria tuża?).
L-idea
Algoritmu validu għandu jkun (kull pass huwa ċar), (jintemm), u jipprodwi r-riżultat għal kull input validu.
