Упорядкований набір скінченої кількості правил, що визначає порядок виконання операцій над вихідними даними для досягнення шуканого результату і дозволяє механічно розв’язати деяку задачу з класу однотипних задач. А. мусить володіти властивостями кінцевості, однозначності (детермінованості) і визначеності. А., що виражається засобами мови програмування, називається програмою.