En algoritme er en endelig, veldefinert sekvens av trinn som transformerer input til ønsket output. Vi vurderer den på to akser: correctness (produserer den alltid riktig svar?) og efficiency (hvor mye tid og minne bruker den?).
Hvorfor det er viktig
En gyldig algoritme må være unambiguous (hvert trinn er klart), finite (den avsluttes), og produsere det korrekte resultatet for hver gyldig input.
