ФОРМАЛЬНЫЙ СИНТАКСИС

(formal syntax)

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

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

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

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

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