(1) Een eindige verzameling van duidelijke regels voor de oplossing van een probleem in een eindig aantal stappen; bijvoorbeeld, een volledige specificatie van een reeks van rekenkundige bewerkingen voor de evaluatie van sinus x tot een bepaalde precision.~(2) een reeks van bewerkingen voor een specifieke taak uit te voeren.