Расширенная форма Бэкуса — Наура (РБНФ)

Краткий обзор, позволяющий разобраться в вопросах: Что такое нотация Бэкуса — Наура? Чем отличается нормальная форма от расширенной? Каковы правила канонической семантики расширенной формы Бэкуса — Наура? Какие дополнительные элементы могут встречаться в различных модификациях РБНФ?

Расширенная форма Бэкуса — Наура или РБНФ (англ. EBNF – Extended Backus–Naur Form) представляет собой доработку нормальной нотации Бэкуса – Наура (БНФ) путем улучшения  синтаксиса, позволившего упростить и сократить в объеме используемые конструкции, сохраняя при этом лаконичность и простоту грамматики. Наиболее важное преимущество РБНФ перед БНФ заключается в возможности описывать повторяющиеся конструкции без применения рекурсии.

Из множества различных вариаций РБНФ каноничным принято считать вариант принятый международной организацией по стандартизации: ISO/IEC 14977.

Читать далее Расширенная форма Бэкуса — Наура (РБНФ)

Простая форма Бэкуса — Наура (БНФ)

Краткий обзор, отвечающий на вопросы: Что это? Где используется? Правила написания и примеры использования.

 

Backus–Naur form или Backus normal form (BNF) это формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории. БНФ используется для описания контекстно-свободных формальных грамматик, обычно используется для описания синтаксиса языков программирования, форматов документов, наборов инструкций и протоколов связи. Применяются везде, где необходимо точное описание синтаксиса: например, в официальных спецификациях, руководствах и учебниках.

Так же существует ещё и расширенная форма Бэкуса — Наура, отличающаяся более ёмкими конструкциями.

Читать далее Простая форма Бэкуса — Наура (БНФ)