Процедура

- 1) Последовательность действий, выполняемая закономерно, согласно точному предписанию. алгоритм. 2) П.- особым образом оформленная программа, решающая задачу, частную по отношению к другой, более широкой задаче. Фундаментальная конструкция алгоритмических языков. П. Является главным средством преодоления сложности программирования путем систёматич. Разделения задачи на части. Различают два способа выделения П. При программировании. Нисходящий и восходящий. При нисходящем способе П. Возникает при однократном разбиении задачи на малое число стандартно сопрягаемых подзадач. Тем самым П. Идентифицируется до того, как будет построена ее программа. При восходящем способе П. Заготавливается впрок, с тем чтобы в дальнейшем быть использованной при решении более широкой задачи как элементарное действие.

Программа, образующая П., обычно содержит свободные переменные, называемые формальными параметрами П. При обращении к выполнению П. Формальным параметрам придаются их значения, называемые фактич. Параметрами. Описание П. Обычно состоит из четырех частей. Тела П., т. Е. Собственно программы, образующей П., имени П., списка формальных параметров и атрибутов - перечня свойств П. Обычно атрибуты характеризуют множества, к-рым принадлежат значения формальных параметров и результатов П. Простейшим видом П. Являются процедуры-функции. Для них формальные параметры являются аргументами функции, а обращение к П.-функции, имеющее вид имени П., за к-рым стоит в скобках список фактич. Параметров, означает "команду" вычисления значения функции, соответствующего этим параметрам.

А. П. Ершов. .