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