Страница 6: ГОСТ 27974-88. Язык программирования АЛГОЛ 69 (77595)

не являющаяся видом никакого значения, фиксируется

'структурой содержащей букву а для выборки вектора из литерных в себе';

являющейся поэтому видом значения, которое может именоваться подвиж­ным именем, имеющим вид

'имя структуры содержащей букву а для выборки подвижного вектора из литерных в себе'.

Этот последний вид уже есть вид имени и, следовательно, его нельзя подвергнуть фиксации.}

3. {Не существует имен, вид которых начинается с 'временное имя',

„Временное имя” вида 'имя ВИДА' - это выдача некоторой ФОРМЫ- выдающей-временное-имя-ВИДА, но так как в настоящем языке нет описа- телей-временного-имени-ВИДА (4.6.1), то синтаксисом гарантируется, что никакое временное имя никогда не будет присвоено, приписано или выра­ботано в результате вызова процедуры.

Например, хх : =а! [і] не есть присваивание потому, что хх не есть иден- тификатор-выдающий-имя-временного-имени-вещественного. Временные имена возникают в вырезках, выборках из массива или при векторизации имен подвижного.}

4. Значение вида Ml „приемлемо для” вида М2, если

1. Ml такой же, как и М2, или

2. М2 объединен из {a} Ml {например, для специфицированного опи­сателем об (вещ, цел) вида приемлемы значения, вид которых специ­фицируется либо вещ, либо цел}, или

3. Ml фиксирует {b} М2 {, например, для вида 'подвижный вектор из вещественных' (, для которого де существует значений,) приемлемы такие значения, как выдача фактического-описателя подв [1 : п] вещ, являющаяся значением вида 'вектор из вещественных'}, или

4. Ml -- 'имя ВИДА', а М2 — 'временное имя ВИДА' {например, для вида 'временное имя вещественного' приемлемы значения (как выдача вырезки al [і]), вид которых есть 'имя вещественного'}.

1. „Исполнение” определенных сцен {, а именно тех, чьи конструкты обозначаются определенными парапонятиями,}- описывается в разделах настоящего стандарта, озаглавленных „Семантика”. В них задается последо­вательность „действий”, которые надо провести в ходе исполнения каждой такой сцены.

{Примеры действий, которые могут описываться:

• сделать справедливыми какие-то соотношения,

• создать новые имена и

• исполнить другие сцены.}

„Смысл” сцены — это эффект действий, проводимых в ходе ее исполне­ния. Любое из этих действий или любую их комбинацию можно заменить любым действием или комбинацией, вызывающими тот же эффикт.

2. Исполнение сцены S может „выдавать” значение. Если конструктом из S является ПОНЯТИЕ-выдающее-ЗНАЧЕНИЕ, то выдаваемое значение, если не оговорено противное, {имеет такой вид, что оно} приемлемо для {2.1.3.6.d} этого 'ЗНАЧЕНИЯ'.

{Это правило позволяет обсуждать выдачи в семантике без явного упо­минания их вида. }

3. Если исполнение некоторого конструкта А в некотором окружении Е не описано явным способом, отличным от сказанного в этом пункте, и В — единственный прямой наследник А, требующий исполнения {см. ни­же}, то исполнение А в Е состоит в исполнении В в Е, а выдача А, если тако­вая полагается, есть выдача этого В, если она существует {; такое автома­тическое исполнение называется „предысполнением” А в Е}.

Конструкт не требует исполнения, если он невидим {1.1.3.2.11}, являет­ся символом {9.1.1.h} или его исполнение не описано никаким способом в настоящем стандарте и ни один из его прямых наследников не требует ис­полнения.

{Например, исполнением замкнутого-предложения-выдающего-имя-ве- щественного (3.1.1.а) (х:=3.14) является (, и выдает то же значение, что и) исполнение его составляющего последовательного-предложения-выдающе- го-имя-вещественного (3.2.1.а) х:=3.14}

1. Всякое действие может быть „неделимым”, „последовательным’ или „совместным”. Всякое последовательное или совместное действие со­стоит из одного или нескольких других действия, называемых его „под­действиями”. Неделимое действие не состоит из других действия {; какие действия неделимы, оставлено настоящим стандартом не определенным}.

2. „Наследным действием” другого действия В является поддействие либо В, либо наследного действия В,

3. Действие А есть „наддействие” действия В, если В — подцействие {а} для А.

4. Поддействия всякого последовательного действия S выполняются одно за другим; т.е. за завершением {2.1.4.3.с, dJ-поддействия для S идет запуск {2.1.4.3.Ь, с} следующего поддействия этого S, если оно есть. {Исполнение сцены, состоящее в общем случае из последовательности дей­ствий, будет последовательным действием.}

5. Поддействия совместного действия совмещаются во времени; точ­нее, выбирается и доводится до конца одно из тех его наследных недели­мых действий, которое в данный момент „активно” {2.1.4.3.а}; и по его завершении {2.1.4.3.с} выбирается другое такое действие и т.д. {вплоть до завершения их всех}.

Способ такого выбора оставлен настоящим стандартом не определен­ным, за тем лишь исключением, что если два действия {, совместные между собой,} названы „несовместимыми” {10.2.4} друг с другом, то {они не должны совмещаться, т.е} ни одно из наследных неделимых действий од­ного из них (одно из них {, если оно само неделимо,}) не должно выби­раться, если другое {действие} активно в данный момент и одно или не­сколько, но не все из его наследных неделимых действий уже завершены.

6. Если одна или несколько сцен должны быть „исполнены совместно”, то это исполнение есть совместное действие, состоящее из {совместного} исполнения данных сцен.

1. Всякое действие либо „активно”, либо „неактивно”. Действие ста­новится активным, когда оно „запускается” {Ь, с} или „возобновляется” {g}; действие становится неактивным, когда оно „завершается” {с, Ь}, „прекращается” {е}, „приостанавливается” {f} или „прерывается” {h}.

2. Когда последовательное действие „запускается”, запускается его первое поддействие. Когда „запускается” совместное действие, запускают­ся все его поддействия.

3. Когда „запускается” неделимое действия, то оно может быть дове­дено до конца {см. 2.1.4.2.е}, после чего оно становится „завершенным”.

4. Всякое последовательное действие „завершается”, когда завершает­ся его последнее поддействие. Всякое совместное действие „завершается”, когда завершены все его поддействия.

5. Когда {последовательное или совместное} действие „прекращает­ся”, прекращаются все его поддействия {и, следовательно, все его наслед­ные действия; {после чего вместо него может запуститься другое дей­ствие . Прекращение действия вызывается исполнением перехода (5.4.4.2).}

6. Когда действие „приостанавливается” приостанавливаются все его поддействия {и, следовательно, все его активные наследные действия} {Действие может приостановиться в течение „вызова” процедуры, выда­ваемой обозначением-операции вниз (10.2.4.d), после чего оно может: возобновиться впоследствии, во время вызова процедуры, выдаваемой обозначением-операции вверх (10.2.4.е).} _г

Если в какой-то момент приостанавливается некоторое действие, на: являющееся наследным действием „процесса” „параллельного действия’¹, {10.2.4}, у другого процесса (других процессов) которого продолжают су­ществовать активные наследные неделимые действия, то дальнейшее испол­нение не определено.

7. Когда действие А „возобновляется”, возобновляются его поддей­ствия, приостановленные вследствие приостановки самого А.

8. Всякое действие может „прерваться” событием, -[например, „пере­полнением”,} не определяемым семантикой настоящего стандарта, но выз­ванным вычислителем, если его возможности {2.2.2.Ь} не позволяют обес­печить удовлетворительное исполнение. Когда действие прерывается, пре­рываются все его поддействия и, возможно, его наддействия. -[Возобновят­ся ли эти действия после прерывания, будут ли запущены другие действия или же окончится исполнение данной программы, настоящим стандартом оставлено не определенным.}

{Результат данных выше определений следующий:

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

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

Таким образом, в каждый момент существует дерево активных дей­ствий, наследных (2.1.4.2.Ь) для исполнения данной программы.}

{На всем протяжении текста настоящего стандарта свободно использу­ются некоторые сокращения, позволяющие избежать некоторых длинных и запутанных фраз, необходимых в противном случае в семантике.}

1. „А (этого) В” или „А из В”, где А и В - парапонятия, заменяет фразу „А, которое есть прямой наследник {1.1.3,2.f} В”.

{Это позволяет сокращать „прямой наследник (конструкта)” до ,его”, „из”, „этого” или же просто употреблять форму родительного паде­жа; например, і в присваивании (5.2.1.1.а) і:=1 есть „его” получатель или і-получатель „этого” присваивания, или даже і-получатель присваива­ния і: = 1); в то время как і не есть получатель последовательного-предло- кения і 1; j: = 2(, хотя он — составляющий получатель (1.1.4.2.d) этого предложения).}

2. „С в Е”, где С — конструкт, а Е — окружение, заменяет фразу „сце­на, составленная {2.1.1.1.d? из С и Е”. Иногда она сокращается просто до „С”, если ясно, о каком окружении идет речь.

{Так как процесс исполнения (2.1.4.1.а) может применяться только к сценам, это сокращение чаще всего встречается в таких формах, как „Цик- лическое-предложение С в окружении Е1 исполняется...” (3.5.2) или „При­сваивание А исполняется...” (5.2.1.2.а, где говорится об исполнении А в любом подходящем окружении) .}

3. „Выдача (этого) S”, где S - сцена, исполнение которой не предпи­сано явно, заменяет фразу „выдача, получаемая в результате запуска испол­нения сцены S, если дожидаться завершения этого исполнения”.

{Таким образом, высказывание (3.2.2.с) „W есть выдача этой осно­вы;”, (использующее также сокращение, определенное в b выше,) надо интерпретировать как означающее

„Исполняется сцена, составленная из данной основы и того окружения, о котором идет речь; W является выдачей, получаемой по завершении ис­полнения этой сцены; ”.}

4. „Выдачи Sj, ...,S_n”', где S_1; ..., S_n — сцены, исполнение которых не предписано явно, заменяет фразу „выдачи, получаемые в результате запус­ка совместного исполнения {2.1.4.2.f} сцен S₍, ..., S_n, если дожидаться за­вершения этого исполнения {, что предполагает завершение исполнения всех сцен}”.

Если некоторые или все сцены ..., S_n описаны как определенные составляющие какого-то конструкта, взятые в некотором окружении, то их выдачи должны рассматриваться расположенными в текстуальном по­рядке {1.1.3.2.і} этих составляющих в данном конструкте.

{Таким образом, высказывание (3.3.2.Ь)

„пусть Vj, ..., V_m будут {совместными} выдачами составляющих основ этого С; ”

должно интерпретироваться как означающее

„пусть Vj, ..., V_m будут соответствующими выдачами, получаемыми в результате запуска и последующего завершения совместного испол нения сцен, состоящих из составляющих основ этого С, взятых В ИІ текстуальном порядке, и того окружения, в котором исполняется С;”.}

5. „Если А есть (является) В”, где А и В — гиперпонятия, заменяет фразу „если А эквивалентно {2.1.1.2.а} В”.

{Таким образом, в высказывании „Случай С: 'ВЫБИРАЮЩЕЕ' есть не­которое 'выбирающее по ПРЕДСТАВИТЕЛЮ'” (3.4.2.Ь) несущественно, бу­дет ли это 'ВЫБИРАЮЩЕЕ' начинаться с 'выбирающее по объединению' или же с 'выбирающее по ЦИ определению объединения'.}

6. „Вид есть (является) А”, где А гиперпонятие, заменяет фразу „вид {, являющийся классом протопонятий 'ЗНАЧЕНИЕ'}, который вклю­чает это А”.

{Это позволяет употреблять такие сокращенные формы, как „вид есть некоторая 'структура содержащая !ПОЛЯ в себе'”, .данный вид начинается с 'объединение'” или „вид, в который заложено 'ПОЛЕ',, в общем случае вид можно указать, приведя только одно входящее в него ’ЗНАЧЕНИЕ', }

7. „Значение, выбираемое (генерируемое) по данному указателю-по- ля F,” заменяет фразу „если F - {ПРИМЕНЯЮЩИЙ-}- СЛОВО-указатель- поля {4.8.l.f}, то данное значение выбирается {2.1.3.3.а, е 2.1.3.4.к}- (ге­нерируется {2.1.3.4.1}) по этому 'СЛОВУ'”.

а) программа: замкнутое предложение в новом {пустом окружении}- сильно выдающее пустое значение {31а}-

{См. также 10.1 }

1. Исполнение программы есть исполнение ее замкнутого-предло- жения-в-новом-сильно-выдающего-пустое-значение в пустом окружении {2.1 .l.l.c}, называемом „первичным окружением”.

{Несмотря на то, что цель настоящего стандарта — определять смысл собственно-программ (lO.l.l.g), это смысл устанавливается только через предваряющее определение смысла программы, в которую эта собственно- программа вложена (10.1.2).}-