(1) Et begrenset sett med godt definerte regler for løsningen på et problem i et endelig antall trinn; for eksempel et komplett spesifikasjon av en sekvens av aritmetiske operasjoner for å vurdere sinus x til en gitt precision.~(2) en sekvens av operasjoner for å utføre en bestemt oppgave.