ГОСТ Р ИСО 24610-2—2013
3.28 типизация (typing): Присваиваниесемантического типа (3.24) встроенному элементу(3.6)
либо структуре элементов (3.14). атомарной или составной.
П р и м е ч а н и е — Семантические типы в системах элементов частично упорядочены и имеют множест
венные отношения наследования.
3.29 недоопределение (underspecification): Предоставление неполной информации о значении
(3.17).
П р и м е ч а н и е — Недоопределение обычно категоризирует одно значение из диапазона возможных
значений, которые могут быть сведены к единственному значению путем последовательного наложения ограниче
ний. См. категоризация (3.21).
3.30 формальная правильность (well-formedness): Синтаксическое соответствие представле
ния структуры элементов (3.14) ИСО 24610-1.
3.31 адекватность (validity): Соответствие типизированной структуры элементов (3.27)
действующим ограничениям (3.8) конкретной системы элементов (3.15).
П р и м е ч а н и е — См. раздел 6.
4 Общая структура стандарта
Основное содержание настоящегодокумента отражено вчетырех разделах — 5.6,7 и8.
- В разделе 5 Базовые понятия — рассматривается определение типизированных структур эле
ментовивводятся понятияатомарныхи составныхтиповструктурэлементов, коллекцийипрочихопера
торов. могущихфигурировать в значениях элементов; затем описываются понятия наследуемыхтипов,
иерархий типов, ограничений типов, значений по умолчанию и недоопределения. которые имеют важ
нейшее значение для конструирования систем элементов.
- Вразделе6Определениеформальнойправильностии адекватности — обсуждаютсяусловия
отмеченности идостоверности структур элементов.
- Раздел 7 Система элементов для грамматики — иллюстрирует способ определения типов с
использованием иерархии иограничений типов, в рамках которыхдекларируются допустимые элемен
ты и значения для конкретных типов.
- Вразделе8 Декларация системы элементов — показывается, каким образом система элемен
тов может быть декларирована и преобразована в валидатор.
Эта главная частьдокумента включает в себя два приложения:
- приложение А содержит the XML-схемудля данной части ИСО 24610;
- приложение В содержит развернутый пример.
5 Базовые понятия
5.1 Рассматриваемые типизированные структуры элементов
Типизированные структуры элементов (TFS) вводятся как базовые записи для управления языко
выми ресурсами.
Для получения более подробной информации следует обратиться к ИСО 24610-1:2006. пункт 4.7
Типизированныеструктуры элементов иприложение С Типизированные иерархиинаследования.
В данном документе TFS определяется формально как кортеж на конечном множествеэлементов
Feat, который состоит из коллекции X элементов, не входящих в структуру, и иерархии типов Туре с
отношением £, где Туре — это конечное множество типов, а отношение ^определяет выделение подти
пов на множестве Туре.
Структура элементов представляет собой кортеж <Q.
у, 0. б>.
в котором:
a) Q — множество узлов.
b) yeQ — корневойузел структуры элементов.
c) ft О ->Туре является функцией частичного упорядочения, и
d) ft Feat * Q-»Q _<X— функция частичного означивания элементов, такая. что для всех q еО
существует последовательность элементов F,......F„, в которой S[F„, ...8(F,.у)...) =q.
Обозначение <fs> показываетузлы.Приведенноевышеопределениеотличаетсяотстандартного,
используемого в лингвистике и теории вычислительных систем тем, что во-первых типизация осуще
ствляется частично, а не полностью (т. е. типы определяются недля всехструктур элементов) и во-вто
рых значения элементов необязательнодолжны представлять собой структуры элементов; однакоэти
4