Список значений состоит из символа value, списка идентификаторов из числа формальных параметров и точки с запятой. Этот список разделяет все формальные параметры на два класса. К первому классу принадлежат формальные параметры, включенные в этот список. Про них говорят, что они вызываются значением. Это означает, что при обращении к процедуре этим формальным параметрам присваиваются значения соответствующих фактических параметров. Значениями в Алголе могут обладать только переменные, идентификаторы массивов (в этом случае значением считается совокупность значений элементов массива) и идентификаторы меток. Поэтому формальный параметр может быть включен в список значений лишь в том случае, если в теле процедуры он употребляется в качестве идентификатора переменной, массива или метки. Величина, представленная таким формальным параметром, ведет себя после присваивания ей начального значения как величина, введенная обычным способом, В нашем примере такой ве-
личиной является простая переменная, представленная в теле процедуры идентификатором п.
Формальные параметры, не включенные в список значений, попадают в класс параметров, вызываемых по наименованию. Это значит, что при обращении к процедуре такие параметры всюду, где они встречаются в теле процедуры, заменяются соответствующими им фактическими параметрами. По наименованию в принципе может вызываться любой формальный параметр, какова бы ни была его роль в процедуре. Однако чтобы замена формального параметра фактическим не приводила к бессмыслице, фактический параметр должен удовлетворять некоторым требованиям. Так, в нашем примере по наименованию вызывается формальный параметр s. Этот параметр в теле процедуры дважды встречается в левой части оператора присваивания. Ясно, что соответствующий ему фактический параметр может быть только переменной (простой или с индексами), причем арифметической переменной, так как ей при выполнении процедуры будут присваиваться арифметические значения. В Алголе действует требование, чтобы любое обращение к процедуре приводило к осмысленному результату — чтобы формальным параметрам, вызываемым значением, присваивались при обращении значения, которые могут быть им присвоены, а формальные параметры, вызываемые по наименованию, заменялись такими фактическими параметрами, чтобы тело процедуры превращалось после этой замены в полноценный оператор, удовлетворяющий всем правилам Алгола. >