(1) Skończony zbiór dobrze zdefiniowanych reguł dla rozwiązania problemu w skończonej liczbie kroków; na przykład pełną specyfikację sekwencji operacji arytmetycznych dla oceny sinus x do danego precision.~(2) dowolną sekwencję operacji do wykonywania określonego zadania.