ГОСТ Р ИСО 24610-2—2013
<f nam es-tense^
<fe type=*past*/>
</f>
<f name="auxiliary^
<blnary value =“false’7>
<I1>
</#•>
</f>
</fe>
Существует различие между двумя классами встроенных элементов: <strir>g> (строковый) и
<symbol> (символьный). <binary> (двоичный), <numeric> (численный). В качестве содержимого элемен та
<string> допустима любая строка, тогда как в элементах <symbol>, <binary> и <numeric> набордопус
тимых значений строго ограничен. Для отражения такого различия значения членов последнего класса
определяются с использованием атрибута value. Тип <binary>, например, ассоциируется с четырьмя
значениями: true (истина), false (ложь), plus (эквивалент true) и minus (эквивалентfalse).
П р и м е ч а н и е — В ИСО 24610-1:2006 был введен тип binary (двоичный), но в схеме W3C XML (2001) он
называется Boolean (булев).
Задача кодировщика состоит в том. чтобы осуществить правильный выбор между кодированием
атомарныхтипов и встроенныхэлементов. В данной части ИСО 24610 различие междудвумя вышеука
занными классами не проводится.
5.2.2 Составные типы
Типы, не являющиеся атомарными, называются составными. К ним относятся все типы, деклари
руемые кодировщиком в FSD, где объявляются или наследуются допустимые элементы. Элемент
допустимдля некотороготипатолько в том случае, еслиструктурам элементовданного типадеклараци
ей FSD разрешается приниматьте или иные значения. Из этого не следует, чтоструктуры элементов не
могут произвольно ассоциироваться с теми или иными типами независимо от их элементного наполне
ния. Такое ассоциирование возможно, но проверяться на адекватность FSD смогут лишь те структуры
элементов, которые содержат только элементы, разрешенные какой-либо FSD. Различие между адек
ватностью иформальной правильностью рассматривается более подробно в разделе 6.
Все типы, декларируемые пользователем (независимо от того, атомарные они или составные)
являютсясемантическимипредставлениями, т. е. синтаксическивыглядятпохожимидругна друга, если
не принимать во внимание значения атрибутов типов. Интерпретация реального смысла этих типов
посредством наложенияограниченийподопустимости, ограничений на возможныезначенияразрешен
ных элементов (<vRange>) и прочих ограничений в виде логических импликаций — это задача
валидатора.
Встроенные элементы, определенные для представлений структур элементов (FSR) в рамках
ИСО 24610-1:2006. являются чистосинтаксическими, могутиспользоваться без декларирования в FSD,
апотому ихдекларирование в FSD невозможно. Они могутпоявлятьсяв ограниченияхподиапазонузна
чений или в импликативныхограничениях, однако сами не могут иметь таких ограничений (поскольку
не имеютдопустимыхэлементов)и сами не могут накладыватьникакихограничений.
5.2.3 Коллекции
Однако не все встроенные элементы столь просты, как элементы, отмеченные выше. Некоторые
грамматические элементы — такие как спецификаторы (SPR), дополнения (COMPS) и аргументы
(ARGS) — считаются обладающими списком грамматических значений, особенно в контекстных грам
матиках (10. 12]. В других языках в отличие от английского некоторые из указанных элементов могут
иметь в качестве своих значенийдругие коллекции: это могут быть простые множества или мультимно
жества. В языке с относительно произвольным порядком слов (например, в немецком, корейском или
японском) элемент COMPS может анализироваться как принимающий значения множества или муль
тимножества. а не списка дополнений. Таким образом для приложений более общего характера в
ИСО24610-1:2006вводятсявкачествевстроенныхметодов компоновкизначенийсоставныхэлементов
простые множества, мультимножества исписки.
Коллекции (<vColl>; ISO 24610-1:2006, n. 5.8, Коллекции как значения составных элементов)
снабжаются атрибутом способа организации (org). который принимает значения «list», «set» и «bag». В
списках важную роль играют порядоки многократность вхождения элементов.
В множествахс повторяющимися элементами важна только многократностьвхожденияэлементов
(такие множества часто называются мультимножествами). Применительно к обычным множествам ни
порядок, ни многократностьвхождения элементов не играют роли.
6