En algoritme er en begrænset, veldefineret sekvens af trin, der transformerer input til det ønskede output. Vi vurderer den på to akser: korrekthed (producerer den altid det rigtige svar?) og effektivitet (hvor meget tid og hukommelse bruger den?).
Idéen
En gyldig algoritme skal være (hvert trin er klart), (den afsluttes) og producere det resultat for hvert gyldigt input.
