Niektoré definície obsahujú obmedzenie na konečnosť algoritmu (konečnosť postupnosti krokov), čo spôsobuje nekonzistentnosť definícií príbuzných termínov. Preto táto definícia pripúšťa aj nekonečnú rekurzívne spočítateľnú postupnosť krokov.
presný a logicky jednoznačný predpis s postupnosťou krokov na riešenie úloh rovnakého typu
PODĽA: Veľký slovník cudzích slov. Veľký Šariš: SAMO — AAMM 1997.