(1) Краен набор от добре дефинирани правила за решаване на проблем в краен брой стъпки; за пример, пълна спецификация на поредица от аритметични операции за оценка на синуса x към даден precision.~(2) всяка последователност на операциите за извършване на определена задача.