Akademik

(от греч. programma - объявление, распоряжение) - заданный набор действий и (или) правил, подлежащих выполнению (проверке) нек-рым исполнителем, обычно автоматич. устройством, чаще всего ЭВМ; предписание, алгоритм. П. выглядит как конечная совокупность команд (инструкций), каждая из к-рых предписывает исполнителю выполнить нек-рую элементарную операцию над данными, хранящимися в памяти исполнителя (см. Памяти устройства). Последовательность исполнения П. определяется тем, что любая текущая команда, кроме завершающей, указывает однозначно на команду П., к-рая должна выполняться после текущей. Команды ветвления (усл. переходы) осуществляют выбор одного из нескольких (указанных в команде) продолжений на основании проверки условий, определяющих свойства данных, упоминаемых в команде. Кроме того, возможно многократное выполнение отд. команд. Поэтому последовательность выполняемых команд и длина этой последовательности при исполнении П. могут варьироваться, однозначно определяясь входными данными. Для П., состоящей из набора действий, её алгоритм заранее определён, в отличие от П., состоящей из набора правил, когда её алгоритм определяется самим исполнителем в процессе выполнения П. Т. о., П. является конечным объектом, к-рый побуждает исполнителя закономерно реагировать на потенциально бесконечное разнообразие входных данных.

Лит.: Математический энциклопедический словарь, М., 1988, с, 494; Язык компьютера, пер. с англ. М., 1989.