En algoritm är en ändlig, väldefinierad sekvens av steg som omvandlar indata till önskad utdata. Vi bedömer den på två axlar: korrekthet (producerar den alltid rätt svar?) och effektivitet (hur mycket tid och minne använder den?).
Idén
En giltig algoritm måste vara (varje steg är klart), (den avslutas) och producera resultat för varje giltig indata.
