(1) Končne množice dobro opredeljenih pravil za rešitev problema v končno število korakov; primer popolna specifikacija zaporedje aritmetične operacije za vrednotenje sinus x dane precision.~(2) katero koli zaporedje operacij za izvajanje posebnih opravil.