ГОСТ Р ИСО/МЭК 8825-2-2003
Приме чание —Единственный тип ACH.I. связанный с абстрактным синтаксисом, формально иден
тифицируется обьсктом класса ABS-TRACT-SYNTAX.
3.7.3 битовое поле: Результат некоторой части метода кодирования, состоящий из упорядочен
ного набора битов, число которых не обязательно кратно восьми и которые в полном кодировании
значения абстрактного синтаксиса не обязательно начинаются на границе октета.
3.7.4 каноническое кодирование: Полное кодирование значения абстрактного синтаксиса, по
лученное применением правил кодирования, которые не имеют зависящих от реализации опции;
такие правила приводят к определению однозначного отображения между недвусмысленными и
уникальными битовыми строками в синтаксисе передачи и значениями в абстрактном синтаксисе.
3.7.5 составной тип: Тип «множество», «последовательность», «множество-из», «последователь-
ность-из», «встроенное-эдп», выборочный, внешний или неограниченный тип символьных строк.
3.7.6 составное значение: Значение составного типа.
3.7.7 ограниченное целое число: Целое число, которое ограничено видимым для PER требова
нием, находится в диапазоне от lb до ub, где lb меньше или равно ub, и значения lb и ub являются
допустимыми.
Пр и м е ч а н и е —Ограниченные целые числа встречаются в кодировании, идентифицирующем: вы
бранную альтернативу из выборочного типа, длину строк символов, октетов и битов, которая ограничена
некоторой максимальной длиной видимым для PER обрезом, счетчик числа компонентов в типе «лоследова-
тельноегь-из» или «множссгво-мз». максимальное число которых ограничено видимым для PER образом,
значение целочисленного типа, которое ограничено видимым для PERобразом, и значение, которое обозначает
перечисление в перечислимом типе.
3.7.8 эффективное ограничение размера (для ограничения типов строк): Единственное конечное
ограничение размера, которое может быть применено к встроенному типу строки, результатом
которого является допущение всех строк и только тех длин, которые могут иметь строки ограничи
ваемого типа.
П р и м е ч а н и е —Например, следующая нотация имеет эффективное ограничение размера:
А :: - IA5String (SIZE(I..4)|S1ZE<10..I5)),
так как она может быть переписана с единственным ограничением размера, который относится ко всем
значениям:
А :: * lASString (SIZE(l..4|!0..1S)).
тогда как следующая нотация нс имеет эффективного ограничения размера, гак как строка может быть
произвольной длины, если она нс содержит никаких символов, кроме V , Ъ‘ и ‘с*:
В :: e lASString (SIZE( l..4)|FROM <*ubc»))
3.7.9 эффективное ограничение допустимого алфавита «PermittedAIphabet» (для ограниченных
типов символьных строк): Единственное ограничение PermittedAIphabet, которое может быть при
менено к встроенному типу символьной строки известной кратности, результатом которого яазяется
допущение всех строк, содержащих только те символы, которые могут присутствовать в любой
позиции любого значения ограниченного типа символьных строк.
П ри меч а н и е —Ограничением эффективного допустимого алфавита (PermittedAIphabet) яазяется
либо весь алфавит неограниченного типа символьных строк, либо спецификация PermittedAIphabet. которая
может оказаться супермножеством всех ограничений PermittedAIphabet, наложенных на тип. Например, в
.Ах :: - lASString (FROM (»AB»>|FROM («CD»))
Bx :: - lASString (SIZE (!..4)|FROM («abc»))
*Ах» имеет эффективное ограничение PermittedAIphabet, которое состоит из всего алфавит lASString, так как
нет ограничения PermittedAIphabet, применимого ко всем значениям «Ах». То же самое справедливо и для «Вх*. С
другой стороны, следующий пример имеет эффективное ограничение PermittedAIphabet »ABCDE*. гак как
существует ограничение PermittedAIphabet. применимое ко всем значениям:
А :: - lASString (FROM <«AB»>|FROM («CD»)|FROM («ABODE»))
3.7.10 индекс перечисления: Неотрицательное целое число, связанное с «EnumerationItem» в
перечислимом типе. Индексы перечисления определяются сортировкой «Enumerationltem» в возрас
тающем порядке их значений перечисления и назначением индексов перечисления, начиная с нуля
для первого «Enumerationltem». единицы — для второго, и далее до последнего «Enumerationltem» в
отсортированном перечне.
Г1рнме чание - «Enumerationltem* в «RootEnumcracion*сортируются отдельно отэлементов перечис
ления в «AdditkmalEnumcracion*.
3