(1) Et finite sæt af veldefinerede regler for løsning af et problem i et endeligt antal trin; for eksempel en fuldstændig specifikation af en sekvens af aritmetiske operationer for at vurdere sinus x til en given precision.~(2) enhver sekvens af handlinger til at udføre en bestemt opgave.