ГОСТ р. НСОУМЭК 8824-93=
П р и м е ч а н и е Типы «последовательность» имеют тог же самый тег (см.
207).
21.4 Для задания значения типа «последовательность из» ис
пользуют определяемое ниже обозначение «Значсние-Последова>
тельностьИз»:
Значеиие-ПоследоватсльностьИэ :: -*
{СписскЗначеннй} J ( }
С.шез’.Значепий :: - Значение |
СписокЗначений, Значение
’ Обозначение «{ }» используют в тех случаях, когда в значении
типа «последовательность из* нет ни одного значения-компонента.
21.5 Каждая последовательность «Значение», входящая в «Спи
сокЗначений», должна быть обозначением некоторого значения то
го «Типа», который задан определении типа «последовательность
из»,,
П р и м е ч а н и е . Порядку следования атнх значений может соответствовать
некоторый семантический смысл.
22 ОБОЗНАЧЕНИЯ ДЛЯ ТИПА «МНОЖЕСТВО»
22.1 Обозначения для определения типа «множество» (см. 3.24)
на основе других типов должны иметь вид «Тип-Множество»:
Тип-Множество ::= SET {СлнсохТилоз Кои.тозснтоэ) [
SET { )
«СписохТиттов-Компонентов» определен в 20.1.
22.2 «Тип» в четвертом варианте продукции «Тип-Компонент»
(см. 20.1) должен быть типом «множество». Использование вари
анта «CO.MPONE.NTS OF Тип» определяет включение в «Список-
Типов-Компонентов» всех последовательностей «Тип-Компонент»,
имеющихся в типе «множество*.
П р и м е ч а н и е . Это преобразование считают логически завершенным до
удовлетворения требований, описанных и последующих подразделах.
22.3 Все «Типы-компонент» в типе «множество» должны иметь
разные теги (см. раздел 26).
^ 22.4 Для типов«множество»применимыформулировки
22.5 Все типы «множество» имеют тег универсального класса 17.
П р и м е ч а н и е . Типы «множество вэ» имеют тот же самый тег (см. 23.3).
22.6 Порядку следования значений-компонентов в типе «множе
ство» нс придают никакого семантического значения.
22.7 Обозначения для определения значения типа «множество»
должны иметь вид «Значение-Множество»:
Значение-Множество :: = {СписокЗначснмй-Компононтов} J {}
37