(1) Konečná množina dobře definovaných pravidel pro řešení problému v konečný počet kroků; například, kompletní specifikace pořadí aritmetických operací pro hodnocení sinus x na dané precision.~(2) jakoukoli posloupnost operací k provedení určitého úkolu.