Расширенная форма Бэкуса-Наура - формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории.