(1) Un conjunt finit de ben definit normes per a la solució d'un problema a un nombre finit de passos; per exemple, d'una especificació completa d'una seqüència d'operacions aritmètiques per avaluar sine x a un determinat precision.~(2) qualsevol seqüència d'operacions per realitzar una tasca específica.