(1) En ändlig uppsättning väldefinierade regler för lösningen av ett problem i ett ändligt antal steg; till exempel en fullständig specifikation av en sekvens av aritmetiska operationer för att utvärdera sinus x till en viss precision.~(2) varje sekvens av operationer för att utföra en viss uppgift.