ГОСТ Р ИСО/МЭК 8824-1-2001
base INTEGER (2|I0),
exponent INTEGER
- - Ассоциированное математическое действительное чисто
- - есть "mantissa", умноженная на "base" в степени "exponent”
I
II р и м с ч а н и я
1 Значения, представленные но основанию 2 и 10, рассматриваются как различные абстрактные значе
ния, даже если их вычисление даст одно и то же действительное число, и могут иметь разную прикладную
семантику.
2 Нотация "REAL (WITH COMPONENTS | ..., basc(IO)l)" может быть использована для ограничения
множества значений по абстрактному основанию 10 (и. аналогично. —основанию 2).
3 Этот тип может предоставлять точное, конечное значение любого числа, которое может храниться в
памяти машины с плавающей точкой, и любого числа с конечным символьно-десятичным представлением.
20.6 Значение действительного типа должно определяться нотацией "RealValue":
RealValue :: =
NumericRealValue | Special RealValue
NumericRealValue : : = 0
SequenceValue - - Значение ассоциированного типа
Special RealValue :: =
PLUS-INFINITY | MINUS-INFINITY
Форма “0" должна использоваться для нулевых значений, альтернативная форма
"NumericRealValue" для нулевых значений использоваться не может.
21 Нотация для типа "битовая строка"
21.1 Тип "битовая строка" (см. 3.8.6) должен указываться нотацией "BitStringType*:
NamedBitList T
BitStringType : : =
BIT STRING
BIT STRING T
NamedBit List :: =
Named Bit
|
NamedBitListNamedBit
NamedBit:: =
identifier "(" number")" |
identifier"(“ DefinedValue "f
21.2 Первый бит в битовой строке называется нулевым. Последний бит в битовой строке назы
вается завершающим.
П р и м е ч а н и е —Эта терминология используется вспецификации значения нотации и определении
правил кодирования.
21.3 "DefinedValue" должно быть ссылкой на неотрицательное значение целочисленного типа.
21.4 Значения последовательностей "number" и "DefinedValue", появляющихся в списке поиме
нованных битов "NamedBitList”, должны быть попарно различными, и являются номерами различ
ных битов в значении битовой строки.
21.5 Все идентификаторы "identifier*, появляющиеся в "NamedBitList". должны быть различны
ми.
П р и м е ч а й и я
1 Порядок последовательностей продукции "NamedBit" в "NamedBitList" нс существенен.
2Так как "identifier’’, который появился в"NamedBitList". нс может быть использован для спецификации
значения, связанного с "NamedBit". то "DefinedValue" никогда не может быть ошибочно интерпретировано как
"IntcgcrValuc*. Следовательно, в следующем случае:
a INTEGER::- 1
T l : : - INTEGER(a(2)>
Т2 : : - ВП STRING |а(3>, Ь(а>}
1-1- 211229