Синтаксис формальный (formal syntax) — спецификация действующих предложений формального языка, применяющего формальную грамматику.
Примечание 1 — Формальный язык в компьютерной интерпретации.
Примечание 2 — Формальные грамматики — это обычно бесконтекстные грамматики Хомского.
Примечание 3 — Варианты формы Бэкуса-Наура (BNF), такие как ABNF и WSN, часто применяются для определения синтаксиса компьютерно-программируемых языков и языка данных.
Пример 1 — Определение типа документа (DTD) как XML — это формальный синтаксис.
Пример 2 — ISO 10303-21 содержит формальный синтаксис в WSN для файлов ISO 10303.
[ГОСТ ISO 22745-2-2017. Системы промышленной автоматизации и интеграция. Открытые технические словари и их применение к основным данным. Часть 2 Словарь]