Товары в корзине: 0 шт Оформить заказ
Стр. 1
 

76 страниц

578.00 ₽

Купить ГОСТ 27975-88 — официальный бумажный документ с голограммой и синими печатями. подробнее

Официально распространяем нормативную документацию с 1999 года. Пробиваем чеки, платим налоги, принимаем к оплате все законные формы платежей без дополнительных процентов. Наши клиенты защищены Законом. ООО "ЦНТИ Нормоконтроль".

Наши цены ниже, чем в других местах, потому что мы работаем напрямую с поставщиками документов.

Способы доставки

  • Срочная курьерская доставка (1-3 дня)
  • Курьерская доставка (7 дней)
  • Самовывоз из московского офиса
  • Почта РФ

распространяется на язык программирования Алгол 68 расширенный, его варианты, а также варианты языка программирования Алгол 68, вводящие дополнительно к определению языка программирования Алгол 68 средства обеспечения модульности программ и раздельной трансляции программ, и устанавливает требования:

к программе на языке программирования Алгол 68 расширенный, представленной на машинном носителе или в комплекте программной документации;

к реализациям языка программирования Алгол 68 расширенный и его вариантов, используемым при создании или эксплуатации программных средств, в части выполнения программ на языке Алгол 68 расширенный

  Скачать PDF

Оглавление

1. Язык и метаязык

1.1. Метод описания

1.1.1. Введение

1.1.2. Прагматика

1.1.3. Синтаксис строгого языка

1.1.4. Семантика

1.2. Общие метаправила

1.2.1. Метаправила для видов

1.2.2. Метаправила, связанные с фразами и приведением

1.2.3. Метаправила, связанные со средствами

1.3. Общие гиперправила

2. Вычислитель и программа

2.1. Терминология

2.1.1. Объекты

2.1.2. Соотношения

2.1.3. Значения

2.1.4. Действия

2.1.5. Сокращения

2.2. Программа

3. Предложения

3.0.1. Синтаксис

3.0.2. Семантика

3.1. Замкнутые предложения

3.2. Последовательные предложения

3.2.1. Синтаксис

3.2.2. Семантика

3.3. Совместные и параллельные предложения

3.3.1. Синтаксис

3.3.2. Семантика

3.4. Выбирающие предложения

3.5. Циклические предложения

3.6. Подключающие предложения

3.6.1. Синтаксис

3.6.2. Семантика

4. Описания, описатели и индикаторы

4.1. Описания

4.1.1. Синтаксис

4.1.2. Семантика

4.2. Описания видов

4.3. Описания приоритетов

4.4. Описания идентификаторов

4.5. Описания операций

4.6. Описатели

4.7. Соотношения между видами

4.8. Индикаторы и указатели полей

4.8.1. Синтаксис

4.8.2. Семантика

4.9. Описание модулей

4.9.1. Синтаксис

4.9.2. Семантика

4.10. Ситуации и реакции

4.10.1. Синтаксис

4.10.2. Семантика

5. Основы

5.1. Синтаксис

5.2. Основы, связанные с именами

5.2.1. Присваивания

5.2.2. Отношения одноименности

5.2.3. Генераторы

5.2.4. Псевдоимена

5.3. Основы, связанные с составными значениями

5.3.1. Выборки

5.3.2. Вырезки

5.4. Основы, связанные с процедурами

5.4.1. Тексты процедур

5.4.2. Формулы

5.4.3. Вызовы

5.4.4. Переходы

5.4.5. Вызовы ситуаций

5.5. Основы, связанные со значениями любого вида

5.6. Заготовки

5.6.1. Синтаксис

6. Приведение

6.1. Приведенные

6.1.1. Синтаксис

6.2. Разыменование

6.2.1. Синтаксис

6.2.2. Семантика

6.3. Распроцедуривание

6.4. Объединение

6.5. Обобщение

6.6. Векторизация

6.7. Опустошение

7. Виды и среды

7.1. Независимость свойств

7.1.1. Синтаксис

7.2. Идентификация в средах

7.2.1. Синтаксис

7.2.1. Семантика

7.3. Эквивалентность видов

7.4. Правильность построения

8. Изображения

9. Знаки и символы

9.1. Знаки

9.2. Примечания и прагматы

9.3. Представления

9.4. Эталонный язык

9.4.1. Представления символов

9.4.2. Символы прочих обозначений

10. Стандартная языковая обстановка

10.1. Тексты программ

10.1.1. Синтаксис

10.1.2. Соответствие языковой обстановке

10.1.3. Способ описания стандартной языковой обстановки

10.2. Стандартное вступление

10.2.1. Запросы к обстановке

10.2.2. Стандартные виды

10.2.3. Стандартные обозначения операций и функций

10.2.4. Операции синхронизации

10.2.5. Стандартные ситуации и восстанавливающие действия

10.3. Описание обмена

10.3.1. Книги, каналы и файлы

10.3.2. Значения для обмена

10.3.3. Бесформатный обмен

10.3.4. Тексты формата

10.3.5. Форматный обмен

10.3.6. Двоичный обмен

10.4. Системное вступление и список задач

10.5. Собственные вступления и заключения

10.5.1. Собственные вступления

10.5.2. Собственные заключения

10.6. Сегменты

10.6.1. Синтаксис

10.6.2. Семантика

Приложение 1. Историческая справка

Приложение 2. Требования к машинописному представлению программы

Показать даты введения Admin

ГОСУДАРСТВЕННЫЙ СТАНДАРТ СОЮЗА ССР

ГОСТ

27975-88

ЯЗЫК ПРОГРАММИРОВАНИЯ Алгол 68 расширенный

Programming language ALGOL 68, extended

ОКСТУ 4002

Дата введения 01.07.90

Настоящий стандарт распространяется на язык программирования Алгол 68 расширенный1 2, его варианты, а также варианты языка программирования Алгол 68, вводящие дополнительно к определению языка программирования Алгол 68 средства обеспечения модульности программ и раздельной трансляции программ, и устанавливает требования:

к программе на языке программирования Алгол 68 расширенный, представленной на машинном носителе или в комплекте программной документации;

к реализациям языка программирования Алгол 68 расширенный и его вариантов, используемым при создании или эксплуатации программных средств, в части выполнения программ на языке Алгол 68 расширенный.

Стандарт не распространяется на варианты языка Алгол 68 или языка Алгол 68 расширенный и программы на языке Алгол 68 расширенный, составленные в учебных или исследовательских целях.

Вариантом языка Алгол 68 расширенный является определенный конкретной реализацией язык, сохраняющий основные конструкции языка Алгол 68 расширенный, в описании которого имеется ссылка на настоящий стандарт и четко перечисляются отличия определяемого языка от языка, определенного настоящим стандартом.

Перепечатка воспрещена

* Историческая справка о языке Алгол 68 расширенном, приведена в приложении 1.

Требования к машинному представлению программы приведены в приложении 2.

1. ЯЗЫК И МЕТАЯЗЫК

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

1.1. Метод описания

1.1.1.    Введение соответствует ГОСТ 27974.

1.1.2.    Прагматика соответствует ГОСТ 27974.

1.1.3.    Синтаксис строгого языка соответствует ГОСТ 27974.

1.1.4.    Семантика

Определение семантики соответствует ГОСТ 27974.

1.1.4.1.    Гиперпонятия, обозначение и заложение соответствуют ГОСТ 27974.

1.1.4.2.    Парапонятия.

Гиперправила a, b, d соответствуют ГОСТ 27974. с) В правиле Ь) „опускаемые гиперпонятия” следующие: „ОФОРМЛЕННОЕ” • „НОМЕР” • „ЛОКАЛИЗУЮЩИЙ” • „ПРИМЕНЯЮЩИЙ” • „ЛЮБОЙ” • „ПРИВОДИМО” •

„ЗНАЧЕНИЕ” • „для ЗНАЧЕНИЯ” • „выдающее ИМЯ ПРОВИДА”

•    „для метки” • „для процедуры” • „вида ПРОВИД”

•    „свидом ПРОЦЕДУРА” • „в СРЕДЕ” • „!ПАРЫ” • „с 70ПИСАНИЯМИ 7МЕТКАМИ” • „через 70ПИСАНИЯ 7МЕТКИ” • „определяющее СЛОЙ” • „ОБОЗНАЧЕНИЕ” • „как ИМЯ ПРОВИДА” • „без 70ПИСАНИЙ” • „передающий 7СВЯЗИ” • „открывающий 7СВЯЗИ”.

1.1.4.3.    Неопределенности соответствуют ГОСТ 27974.

1.1.4.4.    Восстанавливающие действия:

Для некоторых случаев, где говорится, что исполнение не определено С 1.1.4.3 а, ЪУ , заданы восстанавливающие действия. Это значит, что должно выполняться такое восстанавливающее действие, если только реализатор не предусмотрел более подходящего решения для данной ситуации. Однако реализатор должен сохранить для программиста возможность потребовать, чтобы выполняемым действием было в точности действие, указанное здесь.

■[Обычно восстанавливающее действие включает в себя возбуждение соответствующей ситуации. >

Ь) Восстанавливающее действие состоит в вызове некоторой процедуры, возможно, со значениями -Спараметров}. Эта процедура задается при помощи представления некоторого использующего-идектификатора, выдающего эту процедуру в окружении собственного-вступления.

1.2.Общие метаправила

1.2.1.    Метаправила для видов соответствуют ГОСТ 27974.

1.2.2.    Метаправила, связанные с фразами и приведением А) ЗАКРЫТОЕ: : замкнутое; совместное;

параллельное; ВЫБИРАЮЩЕЕ С34А>; циклическое; подключающее.

ГОСТ 27975-88 С. 3

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

1.2.3.    Метаправила, связанные со средами

Метаправила, А, С, D, F, G, Н, I, J, К соответствуют ГОСТ 27974.

В) СЛОЙ : : новые 70ПИСАНИЯ 7МЕТКИ ’ПОДКЛЮЧЕНИЯ.

Е) ОПИСАНИЕ : : СЛОВО {942А} для ВИДА:

ИНФИКС {942F} для приоритета ПРИОРИТЕТ;

ИНДИКАНТ {942F} для ЗНАЧЕНИЯ НОМЕР:

ИНФИКС -C942F> для ДВУХМЕСТНОЙ:

ПРЕФИКС {942К} для ОДНОМЕСТНОЙ:

МОДУЛЬ: СЛОВО для СИТУАЦИИ с видом ПРОЦЕДУРА.

L)    7МОДУЛИ : : 1МОДУЛИ; ПУСТО.

M)    !МОДУЛИ : : МОДУЛЬ; МОДУЛИ МОДУЛЬ.

N)    МОДУЛЬ : : ИНДИКАНТ для 1СВЯЗЕЙ с модулями.

O)    ’СВЯЗИ : : 1СВЯЗИ; ПУСТО.

P)    1СВЯЗИ : : СВЯЗЬ; 1СВЯЗИ СВЯЗЬ.

Q)    СВЯЗЬ : : КЛЮЧ для открытия 70ИИСАНИЙ {и} ПОДКЛЮЧЕНИЙ.

R)    КЛЮЧ : : ЦИ.

S)    .'ПОДКЛЮЧЕНИЯ : : ПОДКЛЮЧЕНИЯ; ПУСТО.

T)    ! 1ЮДКЛЮЧГНИЯ : : ПОДКЛЮЧЕНИЕ: ПОДКЛЮЧЕНИЯ ПОДКЛЮЧЕНИЕ.

U)    ПОДКЛЮЧЕНИЕ : : КЛЮЧ для запуска.

V)    СИТУАЦИЯ : : ситуация; реакция.

1.3.    Общие гиперправила соответствуют ГОСТ 27974.

2. ВЫЧИСЛИТЕЛЬ И ПРОГРАММА

2.1. Терминология

2.1.1.    Объекты.

Определение объекта и прагматическое замечание соответствуют ГОСТ 27974.

2 1.1.1. Значения, участки, окружения и сцены.

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

Ь) Всякий „участок” -Сесть внутренний объект, который} соответствует каким-то '70ПИСАНИЯМ .'МЕТКАМ .'ПОДКЛЮЧЕНИЯМ' {123 С, 1}. „Незанятый участок” - это участок, дш которого ’’ОПИСАНИЯ .'МЕТКИ 7ПОДКЛЮЧЕНИЯ’ есть' ПУСТО'.

{Каждое 'ОБОЗНАЧЕНИЕ для ПРИЗНАКА' (4.8.1. F. G). заложенное в данные '70ПИСАНИЯ 7МЕТКИ 7ПОДКЛЮЧЕНИЯ’. соответствует определяющему -ОБОЗНАЧЕНИЕ-индикатору-выдаюшему-ПРИЗНАК (т.е. какому-нибудь идентификатору, обозначению-операции или индикатору-вида), описанному в конструкте, исполнение которого вызвало создание данного участка. Указанное 'ОБОЗНАЧЕНИЕ для ПРИЗНАКА' может ..получать доступ” к какому-то значению или сцене „внутри" этого участка (2.1-2.с)-

Образом участка может служить ряд ячеек памяти, в которые помешены эти доступные объекты.}

2.1.1.2. Виды определены в ГОСТ 27974.

2.1.1.3. Области действия.

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

Ь) Каждое окружение имеет одну определенную „область действия”. •[Область действия каждого окружения никогда не бывает „старше” (2.1 -2-f) области действия того окружения, из которого оно составлено (2.1.1.1.С).}

2.1.2.    Соотношения

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

h)    „Реагировать” есть соотношение между значением (процедурой} и сценой (определением-ситуации}, которое может быть справедливым „внутри” определенного участка. Данное соотношение становится справедливым после исполнения определения-реакции.

i)    Окружение может быть „связано” с другим окружением (со старшей областью действия} „посредством” некоторой сцены (определения-ситуации}. Это соотношение может быть справедливым для некоторого окружения, созданного в процессе исполнения вызова-ситуации.

2.1.3.    Значения определены в ГОСТ 27974.

2.1.4.    Действия

2.1.4.1.    Исполнение соответствует ГОСТ 27974.

2.1.4.2.    Последовательные и совместные действия соответствуют ГОСТ 27974.

2.1.4.3.    Запуск, завершение и прекращение

Правила a, b, с, d, е, f, g и прагматическое замечание соответствуют ГОСТ 27974.

h)    Всякое действие может „прерваться” событием, (например, „переполнением”}, не определяемым семантикой настоящего стандарта, но вызванным вычислителем, если его возможности (2.2.2.Ь} не позволяют обеспечить удовлетворительное исполнение. Когда действие прерывается, прерываются все его поддействия и, возможно, его наддействия. (Возобновятся ли эти действия после прерывания, будут ли запущены другие действия или же окончится исполнение данной программы, настоящим стандартом оставлено не определенным. Для некоторых событий определены восстанавливающие действия (1.1.4.4.).}

i)    Действие может прерваться, если вычислитель обнаруживает, что время (место в памяти), выделенное для исполнения программы, близко к исчерпанию. В таком случае восстанавливающим действием служит вызов процедуры восстановление после исчерпания времени (10.2.5.р} (восстановление после исчерпания памяти (10.2.5.q}). (Предполагается, что остающееся количество времени (памяти) будет достаточным, чтобы восстанавливающее действие обеспечило аккуратное завершение или же добыло дополнительные ресурсы.}.

2.1.5.    Сокращения определены в ГОСТ 27974.

2.2. Программа соответствует ГОСТ 27974.

ГОСТ 27975-88 С. 5

3. ПРЕДЛОЖЕНИЯ

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

3.0. 1. Синтаксис

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

f) * блок с СРЕДЕ: определяющее СЛОЙ последовательное предложение ПРИВОДИМОЕ В СРЕДЕ {32а}; состав ВЫБИРАЮЩЕГО предложения ОФОРМЛЕННЫЙ ПРИВОДИМЫЙ в СРЕДЕ {34Ь>; вариант выбирающий по ПРЕДСТАВИТЕЛЮ ПРИВОДИМЫЙ в СРЕДЕ {34i>;

ОФОРМЛЕННЫЙ цикл с ОПИСАНИЕМ в СРЕДЕ {35е}; ОФОРМЛЕННЫЙ подчиненный условию цикл в СРЕДЕ {350; текст процедуры в СРЕДЕ выдающий ПРОЦЕДУРУ {541а, Ь>; определяющий СЛОЙ текст модуля в СРЕДЕ передающий 1СВЯЗИ {49с,-}; модульный кортеж с ’ОПИСАНИЯМИ без 70ПИСАНИЙ1 в СРЕДЕ с СЛОЕМ 1 с СЛОЕМ2 {42d}; подключающее предложение ПРИВОДИМОЕ в СРЕДЕ {36а}.

3.0. 2. Семантика соответствует ГОСТ 27974.

3.1.    Замкнутые предложения определены в ГОСТ 27974.

3.2. Последовательные предложения

3.2.1.    Синтаксис

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

i) * определяющее предложение:

определяющее СЛОЙ последовательное предложение ПРИВОДИМОЕ в СРЕДЕ {32а}; определяющее СЛОЙ выясняющее предложение выдающее ВИД в СРЕДЕ {34с}; определяющий СЛОЙ текст модуля в СРЕДЕ передающий 1СВЯЗИ {49с, -}; определяющее СЛОЙ подключение в СРЕДЕ передающее 7СВЯЗИ {36а, -}.

3.2.2.    Семантика

а) Выдачей последовательного-предпожения в окружении Е является выдача исполнения его кортежа или любого кортежа, исполняемого „вместо него” {5.4.4.2}, в окружении, „устанавливаемом” {Ь} вокруг Е согласно этому последовательному-предложению; требуется, чтобы по области действия эта выдача не была младше данного Е, причем восстанавливающим действием служит вызов процедуры восстановление после ошибки области действия {10.2.5 .п}.

Ь) Окружение Е, „устанавливаемое”

•    по окружению EI, возможно не обусловленному, {которое определяет его область действия,}

•    вокруг окружения Е2, {определяющего его состав,}

•    согласно определяющему-новые- 7ПАРЫ-ПОНЯТИЮ С, возможно отсутствующему, {которое задает его участок,}

•    со значениями V,, ... , Vn, возможно отсутствующими, {которые возможно будут приписаны,}

определяется следующим образом:

•    если Е1 не обусловлено, то пусть Е1 будет Е2;

•    Е младше Е1 по области действия и составлено из Е2 и нового участка, соответствующего '7ПАРАМ', если С присутствует, а иначе соответствующего ' ПУСТО';

Случай А : С есть определяющее-предложение:

Для каждого составляющего определения-вида М этого С, если они вообще есть.

•    сцена, составленная из

(1) фактического-онисателя этого М и

(и) окружения, необходимого для {7.2.2.с} этого фактического-опи-сателя в Е,

приписывается индикатору-вида этого М в Е;

Для каждого составляющего определения - метки L этого С, если они вообще есть.

•    сцена, составленная из

(i)    кортежа, для которого L — прямой наследник, и

(ii)    окружения Е,

приписывается идентификатору-метки этого L в Е;

Для каждого составляющего определения-ситуации X этого С, если они вообще есть.

•    сцена, составленная из (О Хи

(ii) окружения Е,

приписывается идентификатору-ситуации этого X в Е;

Если каждая 'ПАРА', заложенная в '7ПАРЫ', есть 'ИНФИКС для БИНАРНОГО' или 'СЛОВО для метки' или 'СЛОВО для ситуации с видом ПРОЦЕДУРА', го Е называется „нелокализующим” {см. 5.2.3.2.Ь};

Случай В : С есть задание-аргументов, заглавие-цикла или спецификация: Для i = l, ... , п, где п - число 'ОПИСАНИЙ', заложенных в '?ПАРЫ\

•    Vj приписывается {4.8.2.а} i-му составляющему определяющее му-идентификатору этого С в Е, если они вообще есть, а иначе {в случае невидимого заглавия-цикла} некоторому оп редел яюще му -букву-алеф-идентификатору-выдающему-целое;

Если С служит заглавием-цикла или спецификацией, то Е является нелокализующим.

ГОСТ 27975-88 С. 7

{В остальных случаях, т. е. когда С отсутствует:

•    Е является локализующим (см. 5.2.3.2.Ь), но дальнейшее не определено. >

с) Выдача W всякою кортежа С определяется следующим образом:

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

•    W - выдача этой основы; а иначе

•    исполняется описание или основа этого С, если они вообще есть;

•    W выдача кортежа этого С.

{См. также 5.4.4.2. Случай А.}

3.3. Совместные и параллельные предложения

3.3.1.    Синтаксис соответствует ГОСТ 27974.

3.3.2.    Семантика

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

b)    Выдача W совместного-предложения-выдающего-СОСТАВНОЕ С определяется следующим образом:

Если прямой наследник из С есть вакуум, то {'СОСТАВНОЕ' есть МАССИВ из ВИДА ,} каждая граничная пара в паспорте выдачи W равна (1,0) {, и имеется один скрытый элемент, значение которого не существенно }; иначе

•    пусть Vi, ... , Vm будут {совместными}-выдачами составляющих основ из С;

Случай А: 'СОСТАВНОЕ' есть 'структура содержащая !ПОЛЯ в себе':

•    Vj, ... , Vm, взятые в их порядке, служат полями W;

Случай В: 'СОСТАВНОЕ' есть 'вектор из ВИДАГ:

•    W состоит из

(i) паспорта ((1, ш)),

00 V,.....Vm;

Для i = 1, ... , m

•    Vj - элемент, выбираемый по индексу (i) в W;

Случай С: 'СОСТАВНОЕ есть вектор МАССИВОВ из ВИДА2'!

•    требуется, чтобы паспорта значений V,, ... , Vm были идентичны;

• пусть паспортом {,например,}    будет ((Lj, Uj), ... , (Ln, un)) ;

•    W состоит из

(i)    паспорта ((l,m), (L,,u,), ... , (Ln,un));

(ii)    элементов этих Vj, ... , Vm;

Для i = 1, ... , m

•    элементом, выбираемым по индексу (i, i|, . . . , in) в W будет элемент, выбираемый по (ij, ... , in) в Vj.

Если не все паспорта значений Vj, ... , Vm идентичны, восстанавливающим действием является следующее:

пусть U есть некоторый массив вида, специфицируемого описателем [ | массив 10.2.3.1 .а.}с паспортом    ((1,ш)) и такой, что для i =

С. 8 ГОСТ 27975 -88

“ !.....гп,    элементом, выбираемым по индексу (i) в U, является неко

торый массив с паспортом, идентичным паспорту V*:

• вызывается процедура восстановление после ошибки записи массива -С 10.2.5.к} со значениями -[параметров]- U и n -С,где п есть число нар в паспорте V|>.

3.4.    Выбирающие предложения определены в ГОСТ 27974.

3.5.    Циклические предложения определены в ГОСТ 27974.

3.6.    Подключающие предложения

3.6.1. Синтаксис

a)    подключающее предложение ПРИВОДИМОЕ в СРЕДЕ -C5D, 551а, A341h, А349а >:

определяющее СЛОИ подключение в СРЕДЕ передающее ПУСТО {Ь>,

ЗАКРЫТОЕ предложение в СРЕДЕ с СЛОЕМ ПРИВОДИМОЕ Та, 31а, 33а, с, d, е, 34а, 35а,-}.

b)    определяющее новые 70ПИСАНИЯ 7ПОДКЛЮЧЕНИЯ

подключение в СРЕДЕ передающее 7СВЯЗИ Та, 49с}: знак подключить -C94d}, открывающий 1СВЯЗИ групповой вызов модулей в СРЕДЕ передающий 7СВЯЗИ -Сс},

если 7011ИСАНИЯ !ПОДКЛЮЧЕНИЯ открываются СВЯЗЯМИ ■Се, f> и в СРЕДУ проникают 7НОДКЛЮЧЕНИЯ из ПОДКЛЮЧЕНИЙ -Ch>.

c)    открывающий .'СВЯЗИ групповой вызов модулей в СРЕДЕ передаю

щий 7СВЯЗИ -СЬ,с>: открывающий 1СВЯЗИ вызов модуля в СРЕДЕ передающий 7СВЯЗИ -Cd.->;

если (7СВЯЗИ) есть (7СВЯЗИ1 7СВЯЗИ2) и (1СВЯЗИ) есть (1СВЯЗИ1 1СВЯЗИ2), открывающий 1СВЯЗИ1 вызов модуля в СРЕДЕ передающий 7СВЯЗИ1 -Cd.->. знак а также {94f},

открывающий 1СВЯЗИ2 групповой вызов модулей в СРЕДЕ передающий 7СВЯЗИ2 -£с>.

d)    открьшающий .'СВЯЗИ вызов модуля в СРЕДЕ

передающий 7СВЯЗИ -Сс}: если (7СВЯЗИ) есть (ПУСТО),

использующий ИНДИКАНТ индикатор модуля в СРЕДЕ выдающий 1СВЯЗИ с модулями {48Ь}; если (7СВЯЗИ) есть ((СВЯЗИ), знак открытое -C94d}.

использующий ИНДИКАНТ индикатор модуля в СРЕДЕ выдающий 1СВЯЗИ с модулями {48Ь}.

ГОСТ 27975-88 С 9

е) ЕСЛИ 70ПИСАНИЯ1 70ПИСАНИЯ2 ШОДКЛЮЧЕНИЯI?

подключения:

открываются

КЛЮЧОМ для открытия 'ОПИСАНИЙ! ШОДКЛЮЧЕНИЙ1 ?СВЯЗЯМИЗ

КЛЮЧОМ для открытия 70ПИСА11ИЙ1 ШОДКЛЮЧЕНИЙ1 7СВЯЗЯМИ4 {b, e,f>:

ЕСЛИ 70ПИСАНИЯ1 70ПИСАНИЯ2 ШОДКЛЮЧЕНИЯ!

?подключения:

открываются

КЛЮЧОМ для открытия 70ПИСА11ИЙ1 ПОДКЛЮЧЕНИЙ! 7СВЯЗЯМИЗ 7СВЯЗЯМИ4 -Се, f>.

О ЕСЛИ 70ПИСАНИЯ1 70ПИСАНИЯ2 'ПОДКЛЮЧЕНИЯ:

? подключения:

открываются

КЛЮЧОМ для открытия 70ПИСАНИЙ1 1ПОДКЛЮЧЕНИЙ! 7СВЯЗЯМИ2 -Cb, е, f>:

ЕСЛИ 70ПИСАНИЯ2 7ПОДКЛЮЧЕНИЯ2 открываются

■’СВЯЗЯМИ! и ’ОПИСАНИЯ I не зависят от 70ПИСАНИЙ2 ■C7U, Ь, с>.

g)    ЕСЛИ ПУСТО открывается ПУСТО -Се, f>: ЕСЛИ истина.

h)    ЕСЛИ в СРЕДУ проникают 7ПОДКЛЮЧЕНИЯ1 из ? ПОДКЛЮЧЕНИЙ ПОДКЛЮЧЕНИЯ СЬ}:

если неверно, что ПОДКЛЮЧЕНИЕ идентифицировано в СРЕДЕ {72а},

ЕСЛИ (7ПОДКЛЮЧЕНИЯI) есть (7ПОДКЛЮЧЕНИЯ2 ПОДКЛЮЧЕНИЕ) и в СРЕДУ Сс> ПОДКЛЮЧЕНИЕМ проникают 7ПОДКЛЮЧЕНИЯ2 из 7ПОДКЛЮЧЕНИЙ Ch,i,-}; если ПОДКЛЮЧЕНИЕ идентифицировано в СРЕДЕ -С72а>.

ЕСЛИ в СРЕДУ проникают 7ПОДКЛЮЧЕНИЯ1 из ? ПОДКЛЮЧЕНИЙ Ch, 1,,}.

i)    ЕСЛИ в СРЕДУ проникает ПУСТО из ПУСТО -СИ}: ЕСЛИ

истина.

С Примеры:

a)    подкл а, b (ввод (f, а); печ (а))

b)    подкл а, b

c)    а. Ь

d)    а. откр Ь}

СВ правиле b КЛЮЧИ для запуска’, заложенные в ШОДКЛЮЧЕНИЯ’, представляют те модули, запуск которых может потребоваться при любом вызове-модуля, используюший-индикатор-модуля которого идентифицирует конкретный определяющий-индикатор-модуля, в то время, как подобные гиперпонятия, заложенные в 7ПОДКЛЮЧЕНИЯ’, представляют только те модули, которые нужно запускать в конкретном контексте, дляосгаль-

ных же это уже было исполнено, как можно статически определить по СРЕДЕ'. Наличие ^ПОДКЛЮЧЕНИЙ' в средах всех наследных конструктов подключающего-предложенин гарантирует, что все запущенные к данному моменту модули никогда не будут заново запускаться внутри этих наследников.

Правило f обеспечивает независимость одновременно открываемых описаний, так, например,

модуль а = мд откр вещ хдм, Ь = мдоткрвещ хдм; полк л а, b (х)

не порождается. Тем не менее, правило е допускает, чтобы данное описание открывалось двумя открытыми подключениями одного и того же модуля, как в

модуль а =мд откр вещ х дм; модуль b = подкл откр а мд вещ у дм;

с = подкл откр а мд вещ z дм; подкл b с (х + у + z) где определения-модуля и для b и для с открывают х посредством откр а в своих составляющих подключениях. J3.6.2. Семантика:

a)    подключающее-предложение-ПРИВОДИМОЕ-в*СРЕДЕ N в окружении Е исполняется следующим образом:

Если, согласно 'СРЕДЕ', существует „первый незапущенный” -СЬ} модуль М из подключения R этого N в Е, то

•    пусть М состоит из определяющего-новые-?ПАРЫ-ПОДКЛЮЧЕНИЕ-текста-модуля Т -Свместе с необходимым окружением};

•    М запускается {с} в Е, развертывая новое окружение Е4 -[внутри которого участок 'ПОДКЛЮЧЕНИЕ' подключает результат запуска М};

•    пусть Y - это выдача -Са}в Е4 подключающего-предпожения-ПРИВО-ДИМОГО-в-СРЕДЕ- {с} -ПОДКЛЮЧЕНИЕМ, подобного N -С, в котором относительно М известно, что он уже запущен};

•    -СМ отключается, т. е } кортеж составляющего заключения из Т, если такой вообще есть, исполняется в Е4;

•    выдача N в Е есть Y;

•    требуется, чтобы Y по области действия было не младше Е: в противном случае

•    пусть Е2 - это окружение, устанавливаемое вокруг и наравне с Е в соответствии с R ; участок этого Е2 соответствует передаваемым свойствам модулей, подключаемых R};

•    Е2 .дополняется” -Cd} *[значениями, передаваемыми составляющими вызовами-модулей} из R в Е;

•    выдача N в Е есть выдача ЗАКРЫТОГО-'предложения этого Nb Е2;

b)    „Первый незапущенный” согласно некоторой 'СРЕДЕ' модуль из подключения R в окружении Е определяется следующим образом:

Если существует некоторый составляющий открывающий-?СВЯЗИ-

1

Издание официальное

2