Страница 4: ГОСТ 27975-88. Язык программирования АЛГОЛ 68 расширенный (77048)

1. вызов ситуации в СРЕДЕ выдающий ЗНАЧЕНИЕ {5D}: возможный знак возбудить {94 f}, использующий СЛОВО идентификатор в СРЕДЕ выдающий ситуацию с видом процедура 7ПАРАМЕТРИЗО- ВАННАЯ вырабатывающая ЗНАЧЕНИЕ {48 b}, параметризация 7ПАРАМЕТРИЗОВАННАЯ в СРЕДЕ {Ь, с}.

2. параметризация с ! ПАРАМЕТР АМ И в СРЕДЕ {а}: упакованные кратким фактические J ПАРАМЕТРЫ в СРЕДЕ {543b,с}.

3. параметризация в СРЕДЕ {а}: ПУСТО.

{Примеры:

4. возбуд недопустимый аргумент (х) }

1. выдача W вызова-ситуации Y в окружении Е определяется следую­щим образом:

• пусть X есть выдача использующего-идентификатора-ситуации из Y в Е;

• пусть Н и F - это, соответственно, процедура и окружение реакции {Ь} для X в Е;

пусть Е1 — новое {локализующее, см. 3.2.2.2.Ь} окружение, устанав­ливаемое вокруг Е; Е1 называется связанным с F посредством X;

• пусть V], ... , V_n будут {совместными} выдачами составляющих фактических параметров этого Y, если они вообще есть, в Е1;

• W есть выдача „вызова” {5.4.3.2.b} Н в Е1, возможно, со значениями {параметров} Vj , ... , V_n;

• требуется, чтобы W по области действия не была младше Е, причем восстанавливающим действием служит вызов процедуры восстанов­ление после ошибки области действия {10.2.5.п}.

2. процедура реакции Н и окружение реакции F для сцены X в окруже­нии Е определяются следующим образом:

• требуется, чтобы Е по области действия не было младше окружения из X, причем восстаналивающим действием является вызов процеду­ры восстановление после общей ситуации {10.2.5 .о};

• если существует значение R, реагирующее на X внутри участка из Е, то Н есть R и F есть Е;

• иначе

• пусть Е1 есть отсчетное окружение {с} для X в Е;

• пусть Е2 есть окружение, по которому {3.2.2.Ь} установлено ок­ружение Е;

• Н и F — это процедура и окружение реакции для X в Е2.

3. отсчетное окружение F для сцены X в окружении Е определяется сле­дующим образом:

• если Е связано посредством X с другим окруженим Е1, то F есть Е1;

• иначе F есть Е.

1. ЯЗЫК : : алгол шестьдесят восемь.

К вышеприведенному метаправилу могут быть добавлены дополнитель­ные гиперпонятия {например, „фортран”}.

2. АЛГОЛ 68 : : алгол шестьдесят восемь.

1. виртуальная заготовка в СРЕДЕ сильно выдающая ЗНАЧЕНИЕ {5А}:

символ виртуальная среда, замкнутое предложение в СРЕДЕ сильно выдающее ЗНАЧЕНИЕ {31а}.

2. формальная заготовка в СРЕДЕ сильно выдающая ЗНАЧЕНИЕ {5А}:

знак формальная среда {94d},

индикатор ЯЗЫКА выдающий ЗНАЧЕНИЕ {е, f, -}, индикатор заготовки {d}.

3. фактическая заготовка в СРЕДЕ выдающая ЗНАЧЕНИЕ {Аба}: ЗАКРЫТОЕ предложение в СРЕДЕ сильно выдающее ЗНАЧЕНИЕ {31а, 33а, с, 34а, 35а,-,36а,-}.

4. индикатор заготовки {Ь}

изображение литерного {814а};

изображение вектора из литерных {83а}.

5. индикатор АЛГОЛ 68 выдающий ЗНАЧЕНИЕ {Ь}: ПУСТО.

6. для каждого дополнительного терминального метапорождения „ЯЗЫКА” должны быть добавлены гиперправила для гиперпонятий формы „индикатор ЯЗЫКА выдающий ЗНАЧЕНИЕ”; каждое из та­ких правил содержит ровно одну альтернативу, которая должна быть отличимым знаком выделенное СЛОВО.

{Примеры;

2. среда ”abc”

3. подкд a, b (х: = 1; у: = 2; печ (х + у))

4. ” а ” "abc”}

{Поскольку для символа-виртуальная-среда не задано никакого предс­тавления, пользователь не может сам создавать виртуальные-заготовки, од­нако задан механизм (10.6.2.а) для построения их из формальных- и факти- ческих-заготовок.}

{Выдачей виртуальной-заготовки! является, вследствие предысполне- ния (2.1.4.1.с), выдача ее замкнутого-предложения. Для формальных- или фактических-заготовок не задано никакой семантики, поскольку их испол­нение никогда не требуется.}

6. ПРИВЕДЕНИЕ

Все прагматические замечания соответствуют ГОСТ 27974.

Метаправила А, В, С, D, Е, G соответствуют ГОСТ 27974.

F) РАСКРЫВАЕМОЕ : : выборка в СРЕДЕ; вырезка в СРЕДЕ;

вызов в СРЕДЕ; вызов ситуации в СРЕДЕ; текст процедуры в СРЕДЕ;

АРНАЯ формула в СРЕДЕ;

использующий СЛОВО идентификатор в СРЕДЕ.

Гиперправила a, b, с, d, е, f, g, h соответствуют ГОСТ 27974.

Выдача W ФОРМЫ-выдающей-ВИД-после-разыменования F определяет­ся следующим образом:

• пусть {имя} N — выдача ФОРМЫ-после-РАСКРЫТИЯ F;

• требуется, чтобы N, не было псевдоименем, причем восста­навливающим действием служит вызов процедуры восстановление после ошибки псевдоимени -С 10.2.5.13-;

• W — значение, именуемое этим N .

6. 3. Распроцедуривание соответствует ГОСТ 27974.

   4. Объединение соответствует ГОСТ 27974.

   5. Обобщение соответствует ГОСТ 27974.

   6. Векторизация соответствует ГОСТ 27974.

   7. Опустошение соответствует ГОСТ 27974.

7. ВИДЫ И СРЕДЫ

Все прагматические замечания соответствуют ГОСТ 27974.

Метаправила А, В соответствуют ГОСТ 27974.

С) ЕСЛИ ОБОЗНАЧЕНИЕ! для ПРИЗНАКАІ не зависит от ОБОЗНА­ЧЕНИЯ для ПРИЗНАКА2 {а, 48а, с, 72а}:

если неверно что (ОБОЗНАЧЕНИЕ!) есть (ОБОЗНАЧЕНИЕ2), ЕСЛИ истина;

если (ОБОЗНАЧЕНИЕ!) есть (ОБОЗНАЧЕНИЕ2) и (ОБОЗНАЧЕ­НИЕ!) есть (АФФИКС),

ЕСЛИ ПРИЗНАК! не зависит от ПРИЗНАКА2 {di;

если (ОБОЗНАЧЕНИЕ!) есть (ОБОЗНАЧЕНИЕ2) и (ОБОЗНАЧЕ­НИЕ!) есть (СЛОВО),

если (ПРИЗНАК!) есть (СИТУАЦИЯ! с видом ПРОЦЕДУРА!) и (ПРИЗНАК2) есть (СИТУАЦИЯ2 с видом ПРОЦЕДУРА2),

ЕСЛИ (СИТУАЦИЯ! СИТУАЦИЯ?) есть (ситуация реакция) или (СИТУАЦИЯ! СИТУАЦИЯ2) есть (РЕАКЦИЯ ситуация).

Гиперправила a, b, с, d, е, f, g, h, і, j, k, 1, m, n, соответствуют ГОСТ 27974.

Гиперправила а, b соответствуют ГОСТ 27974.

с) ЕСЛИ ОБОЗНАЧЕНИЕ для ПРИЗНАКАІ находится в ОБОЗНАЧЕНИИ для ПРИЗНАКА2 {a, b, 48d}:

если (ПРИЗНАК!) есть (метка) или (ПРИЗНАК!) есть (БИНАРНОЕ) или (ПРИЗНАК!) есть (выборка ВИДА), или (ПРИЗНАК!) есть (!СВЯЗИ с модулями) или (ПРИЗНАК!) есть (запуск),

ЕСЛИ (ПРИЗНАК!) есть (ПРИЗНАК2) ;

если (ПРИЗНАК!) есть (ЗНАЧЕНИЕ! 7НОМЕР) и (ПРИЗНАК2) есть (ЗНАЧЕНИЕ2 7НОМЕР),

ЕСЛИ ЗНАЧЕНИЕ! эквивалентно ЗНАЧЕНИЮ2 {73а3;

если (ПРИЗНАК!) есть (СИТУАЦИЯ с видом ПРОЦЕДУРА!) и (ПРИЗНАК2) есть (СИТУАЦИЯ с видом ПРОЦЕДУРА2),

ЕСЛИ ПРОЦЕДУРА! эквивалентна ПРОЦЕДУРЕ2 {73а}.

Гиперправила a,d соответствуют ГОСТ 27974.

2. Определяющий блок-в СРЕДЕ {а} каждого использующего-ОБОЗ- НАЧЕНИЕ-индикатора-выдающего-ПРИЗНАК II {по необходимости} со­держит либо определяющий-ОБОЗНАЧЕНИЕ-индикатор-в-СРЕДЕ-с-СЛОЕМ- выдающий-ПРИЗНАК 12, либо один или {возможно} несколько исполь- зующих-индикаторов-модулей 13, являющихся прямыми наследниками открывающих-!СВЯЗИ-вызовов-модулей-в-СРЕДЕ, в !СВЯЗИ' которых заложено 'ОБОЗНАЧЕНИЕ для ПРИЗНАКА'. В этом случае говорится, что II идентифицирует это 12 или каждое из этих 13.

3. Окружение Е, „необходимое для” конструкта С в окружении Е1, определяется следующим образом:

Если Е1 -- первичное окружение (2.2.2.а),

то Е есть Е1;

иначе пусть Е1 будет составлено из участка L, соответствующего каким-то '7ПАРАМ', и другого окружения Е2;

Если С содержит любой использующий-ОБОЗНАЧЕНИЕ-индикатор- выдающий-ПРИЗНАК,

• не идентифицирующий {Ь} никакого определяющего-индикатора, со­держащегося в С,

• не являющийся прямым наследным индикатором-вида для формаль- ного-или виртуального-описателя и

• такой, что предикат если ОБОЗНАЧЕНИЕ для ПРИЗНАКА находится в 7ПАРАХ' {7.2.1 .Ь} выполняется,

или если С содержит виртуальную-заготовку,

то Е есть Е1;

иначе {L не необходимо для С и} Е — окружение, необходимое для С в Е2.

8. ИЗОБРАЖЕНИЯ

Изображения определены в ГОСТ 27974.

8. ЗНАКИ И СИМВОЛЫ

Все прагматические замечания соответствуют ГОСТ 27974.

Гиперправила a, b, с, d соответствуют ГОСТ 27974