чаемых таким образом, образует новый тип (если все уже оп
ределенные типы, входящие в список, являются различными, то
можно расширить этот способ, допуская пропуск некоторых
значений из списка);
b
) имея список существующих типов, можно сформировать
новое значение в виде множества(неупорядоченного) значе
ний, в которое входит по одному из значений каждого тина,
входящего в сижок; совокупность всех значений, получаемых
таким образом, образует новый тин (этот способ можно также
расширить, допуская пропуск некоторых значений);
c) имея один существующий тип, можно сформировать новое
значение в виде последовательности (упорядоченной) или
множества (неупорядоченного), состоящего из пустого мно
жества значений и одного или нескольких значений исходного
типа; совокупность (неограниченная) всех возможных значе
ний. полученных таким образом, образует новый тип;
d) имея список различных существующих типов, можно выб
рать какое-либо значение одного из этих типов; множество
всех возможных значений, получаемых таким образом, образу
ет новый тип;
e) имея некоторый тип, можно сформировать новый тип в виде
подмножества исходного типа, используя некоторую структур
ную или порядковую взаимосвязь между элементами исходно
го множества.
Типы, определенные с помощью описанных выше методов, на
зываются структурированными типами.
Каждому типу, определенному посредством нотации, описывае
мой настоящим стандартом, назначается <тег». Тег либо опреде
лен в самом стандарте, либо определяется пользователем описы
ваемой здесь нотации.
Часто один н тот же тег назначается нескольким разным типам,
при этом конкретный тип идентифицируется контекстом, в кото
ром используется тег.
Пользователь настоящей нотации может присвоить новый тег
какому-либо существующему типу, создавая тем самым новый та»,
отличный от первоначального. Это может потребоваться в тех слу
чаях, когда необходимо определить, какой выбор был сделан в си
туации типа описанной выше в n. d).
Настоящей нотацией определяется четыре класса тегов.
Первый класс называется универсальным.Использование те
гов универсального класса определяется спецификациями настоя
щего стандарта, причем каждый тег либо:
a) присвоен какому-то одному типу, либо
b
) присвоен некоторому способу построения типов.