ГОСТ Р ИСО 24610-2—2013
3.2 разрешенный элемент (admissible feature): Элемент, для которого соответствующая струк
тура элементов (3.14) определенного типа (3.24) может нести в себе конкретное значение (3.17).
П р и м е ч а н и е — В некоторых интерпретациях этот термин часто приобретает оттенок обязательности,
т. е. считается, что структуры элементов конкретного типа должны содержать в себе значение для каждого разре
шенного элемента. Однако в данном случае этот термин не предполагает обязательного присутствия элемента
3.3 разрешенное значение элемента (admissible feature value): Значение (3.17), котороедолжно
быть отнесено к категориидопустимых элементов (3.2) в структурах элементов (3.14)данного типа
(3.24).
3.4 атомарный тип (atomictype): Пользовательскийтип (3.24). который не имеет декларируемых
или наследуемыхдопустимых элементов (3.2).
3.5 множество с повторяющимися элементами (bag):Триплет, образованныйцелым числом п,
множеством S и функцией отображения целыхчисел вдиапазоне от 1 до лв элементы S.
П р и м е ч а н и е — Множество с повторяющимися элементами — это промежуточный объект между обыч
ным множеством (как совокупностью неупорядоченных эпементов) и списком (где отдельные элементы могут встре
чаться многократно).
3.6 встроенный элемент (built-in): Элемент, не определяемый пользователем, но могущий поя
виться вместо структуры элементов (3.14). например в качестве значения элемента (3.17).
П р и м е ч а н и е — Встроенные элементы могут быть атомарными или составными. К первым относятся
численные, строковые, символьные и двоичные элементы, ко вторым — коллекции (3.7) и применяемые логичес кие
операторы: например дизъюнкция, отрицание и слияние (см. п. 5.2.4).
3.7 коллекция (collection): Значение элемента (3.17). содержащее совокупность возможныхзна
чений. которые представлены в виде списка, обычного множества или множества с повторяющимися
элементами (3.5).
3.8 ограничение (constraint): Компонентспецификации, которая идентифицирует некоторую кол
лекцию структур элементов (3.14) как неадекватную.
П р и м е ч а н и е 1 — Все ограничения по своей синтаксической форме импликативны, хотя некоторые из
них выделяются как ограничения по допустимости. См. адекватность (3.31) и 5.4. Все структуры элементов, кото
рые не исключены явным образом как неадекватные, считаются адекватными.
П р и м е ч а н и е 2 — Структура элементов, не идентифицированная таким образом как не соответствую
щая никакому из ограничений в системе элементов, считается адекватной.
3.9 значение по умолчанию, стандартное значение (defaultvalue): Значение (3.17), присваива
емое элементу (3.12) в том случае, когда оно не определено
Пример — В датском языке при отсутствии явного указания грамматического рода ему присваивается значе
ние «мужской».
П р и м е ч а н и е — Структура элементов не может содержать элементов, для которых не указано соотве
тствующее значение.
3.10 пустая структура элементов (empty feature structure): Структура элементов (3.14). не
содержащая никакой информации.
П р и м е ч а н и е — Пустая структура элементов категоризирует все другие структуры элементов.
3.11 расширение (extension): Преобразованиетипа категоризации (3.21).
П р и м е ч а н и е — Структура элементов F расширяет G тогда и только тогда, когда G категоризирует F.
3.12 элемент (feature): Свойство или аспект объекта, формально представляемые как функция,
отображающая объектв его соответствующее значение (3.17).
3.13 спецификация элементов (feature specification): Связывание элемента (3.12) с его значе
нием (3.17) в описании структуры элементов.
3.14 структура элементов (feature structure): Структура записей, которая ставит в соответствие
каждой коллекции элементов одно значение (3.17).
П р и м е ч а н и е 1 — Каждое значение представляет собой структуру элементов или более простой встро
енный элемент (3.6). такой как строка.
П р и м е ч а н и е 2 — Структуры элементов частично упорядочены. Минимальными в этом упорядочении
являются пустые структуры эпементов.
2