(1) Je konečná množina presne definované pravidlá pre riešenie problému v konečný počet krokov; napríklad kompletné špecifikácie postupnosti aritmetických operácií na vyhodnotenie sínus x na danom precision.~(2) ľubovoľnú sekvenciu operácií na vykonanie určitej úlohy.