ГОСТ Р ИСО 8000-2-2019 Качество данных. Часть 2. Словарь

     3.9 Термины, относящиеся к синтаксису и семантике

3.9.1 формальный синтаксис (formal syntax): Спецификация правильных предложений формального языка с применением формальной грамматики.

Пример 1 - Определение типа документа (DTD) по системе XML - это пример формального синтаксиса.

Пример 2 - ИСО 10303-21 включает в себя формальный синтаксис по форме WSN ИСО 10303, который применяется во всех физических файлах этого документа.

Примечание 1 - Формальный язык - это машинно-интерпретируемый язык.

Примечание 2 - Формальная грамматика - это бесконтекстная грамматика Хомского.

Примечание 3 - Варианты формы Бекуса-Наура (BNF), такие как ABNF (дополненная форма Бекуса-Наура) и WSN (система обозначений для описания синтаксиса), часто применяют для определения синтаксиса языков программирования для вычислительных машин и для языков управления данными (3.2.2).

3.9.2 семантическое кодирование (semantic encoding): Техника замены в сообщениях терминов естественного языка на идентификаторы (3.3.1), которые имеют ссылку на информационные данные словаря (вводимые в словарь данные) (3.6.1).

3.9.3 семантически кодированная спецификация данных (semantically coded data specification): Формулировка требований к данным; спецификация данных (3.6.3), в которую включены данные словаря (3.6.2).

Пример 1 - Руководство по идентификации ИСО-ТС 22745-30.

Пример 2 - ИСО 13584-501.

Примечание 1 - Семантически кодированную спецификацию данных можно применять для определения правил, описывающих предметы или элементы, принадлежащие к определенному классу, с применением семантического кодирования (3.9.2)