ГОСТ Р ИСО 24610-2—2013
i«»•
word01ПМ 10ГЧЖ1
<М
ПОШ VMb
atom Эй№дnon-ЗаШд
Рисунок 5 — Иерархия типов для вершины простой грамматики
Данная иерархиятипов имеет единственную вершину. Этосамыйобщийтип, не имеющий нироди
телей, ни непосредственныхсупертипов. Тип top — это также единственный подтип самого себя.
Каждыйтипимеет имяиу каждоготипазаисключением наивысшегоимеетсяодинродитель. Утипа
с именем top естьчетыре непосредственных подтипа. Подтипы phrase (речевой оборот) и det(опреде
ляющее слово) — не сопоставимы втом смысле, что ни один из них не является подтипом другого.
В зависимостиот степени сложности грамматики иерархиятипов можетоказаться оченьсложной.
Некоторые ее участки могут быть универсальными для всех языков, тогда как другие могут быть очень
специфичными для конкретного языка. Так тип соглашения agr-cat (соглашение по категоризации)
в английском языке имеет только два непосредственных подтипа: 3sing и non-3sing (например, «sings»
и «sing»).
Т ип dotобозначаетопределяющееслово (determiner), такое какартикли «the» или «а»;3singуказы
вает на 3-е лицо единственного числа, a non-3sing указывает категории соглашений, отличные от 3sing.
Это различие характернодля правил согласования глаголов в английском языке.
5.4 Ограничения для типов
Иерархия типов представляет собой основу, на которой строятся всеостальные разделы грамма
тики. которые принимают форму ограничений для структур элементов на множестве пользовательских
типов. Такие ограничения бывают, как минимум, трех видов: 1) импликативные, 2) по разрешенным
элементам и 3) по допустимым значениям элементов. Все они могут быть выражены в импликативной
форме:
- если структура элементов относится к типу verb, то она может иметь элемент Auxiliary,
- если структура элементов относится к типу verb, она может иметь элемент INVerted.
- если структура элементов относится к типу verb, то ее значением AUX должно быть "binary’,
- если структура элементов относится к типу verb, то ее значением INV должно быть ‘binary".
- если структура элементов относится ктипу verbиее значениеAUXотрицательно, то ее значени
ем INV должно быть ‘negative".
Первыедва изэтихограниченийявляются ограничениями подопустимости. Они говорято том. что
конкретный элемент может использоваться в структурах элементов определенного типа. Следующая
пара ограничений касается значений допустимых элементов и называется иногда «ограничениями по
значению» или «ограничениями по диапазону». Они говорят о том, какие значения должен принимать
конкретный элемент, когда он входит в структуру элементов данного типа. Последнее из ограничений
имеет наиболее общуюформу, однако этот видограничений говорито том. что когда структура элемен
тов приобретает некоторую конкретную форму (определяемую типами, значениями элементов и т. п.),
она должна удовлетворять каким-тодругим критериям (опять же выраженным в терминахтипов, значе
ний элементов и т. п.). Эта последняя форма ограничения обычно представляет собой то, что подразу
мевается под импликативным ограничением синтаксической конструкции. Каждая из этих трех форм
имеет свою синтаксическую структуру в FSD. Далее показан пример кодирования вышеуказанных
ограничений применительно к глаголу.
Пример — Ограничение для типа verb
<fsDecl type=’verb“>
<(Decl name=“aux">
<vRange>
<binary/>
</vRange>
<.’fDecl>
<fDecl name="lnv“>
<vRange>
<blnary/>
9