формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории. Используется для описания синтаксиса языков программирования, данных, протоколов. БНФ-конструкция определяет конечное число символов. Кроме того, она определяет правила замены символа на какую-то последовательность букв и символов.