Форма Бэкуса-Наура

Форма Бэкуса-Наура

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

Содержание

Применение

Используется для описания синтаксиса языков программирования, данных, протоколов (например, в документах регулярные грамматики являются подмножеством контекстно-свободных).

Описание

Терминология этой статьи может расходиться с традиционной.

БНФ-конструкция определяет конечное число символов (нетерминалов). Кроме того, она определяет правила замены символа на какую-то последовательность букв (терминалов) и символов. Процесс получения цепочки букв, можно определить поэтапно: изначально имеется один символ (символы обычно заключаются в угловые скобки, а их название не несёт никакой информации). Затем этот символ заменяется на некоторую последовательность букв и символов, согласно одному из правил. Затем процесс повторяется (на каждом шаге один из символов заменяется на последовательность, согласно правилу). В конце концов, получается цепочка, состоящая из букв (и не содержащая символов). Это означает, что полученная цепочка может быть выведена из начального символа.

БНФ-конструкция состоит из нескольких предложений вида

 <определяемый символ> ::= <посл.1> | <посл.2> | . . . | <посл.n>

, описывающих правила. Такое правило, означает, что символ <определяемый символ> может заменяться на одну из последовательностей посл.1. Знак определения, обычно выглядит как ::=, но возможны и другие варианты.

Некоторые специальные символы, как например <пусто> означают какую-то последовательность (в данном случае — пустую).

Примеры конструкций

  • Вот пример БНФ-конструкции, описывающей правильные скобочные последовательности:
 <правпосл>::=<пусто> | (<правпосл>) | <правпосл><правпосл>

Это простая конструкция, состоящая всего из одного правила, утверждающего, что символ <правпосл> может замениться либо на пустое место, либо на этот же символ <правпосл>, заключённый в скобки, либо на два символа <правпосл> идущих подряд.

Вот, как получить с помощью этой конструкции цепочку ((())())() (ниже перечисляются все этапы, символы <пусто> опускаются):

<правпосл>
<правпосл><правпосл>
(<правпосл>)<правпосл>
(<правпосл>)(<правпосл>)
(<правпосл>)(<пусто>)
(<правпосл><правпосл>)()
((<правпосл>)<правпосл>)()
((<правпосл>)(<правпосл>))() 
((<правпосл>)(<пусто>))() 
(((<правпосл>))())() 
(((<пусто>))())() 
((())())()

См. также



Wikimedia Foundation. 2010.

Поможем сделать НИР

Полезное


Смотреть что такое "Форма Бэкуса-Наура" в других словарях:

  • Форма Бэкуса — Наура — У этого термина существуют и другие значения, см. БНФ. Форма Бэкуса Наура (сокр. БНФ, Бэкуса Наура форма) формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории. БНФ… …   Википедия

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

  • Расширенная форма Бэкуса — Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …   Википедия

  • Расширенная форма Бэкуса-Наура — формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории. См. также: Синтаксис языков программирования Финансовый словарь Финам …   Финансовый словарь

  • Расширенная форма Бэкуса-Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …   Википедия

  • Расширенная форма Бэкуса—Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …   Википедия

  • дополненная форма Бэкуса-Наура — Наглядная форма представления данных, используемая для задания грамматики (МСЭ Т T.808). [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN augmented Backus Naur formABNF …   Справочник технического переводчика

  • нормальная форма Бэкуса-Наура — БНФ Нотация (метаязык) для записи синтаксиса языков программирования. [ГОСТ Р 54456 2011] Тематики телевидение, радиовещание, видео Синонимы БНФ EN Backus Normal FormBNF …   Справочник технического переводчика

  • расширенная нормальная форма Бэкуса-Наура — расширенная БНФ Способ формального определения грамматики, элементов и атрибутов языка программирования. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом Синонимы расширенная БНФ EN EBNFExtended Backus Naur Form …   Справочник технического переводчика

  • Форма Бэкуса — У этого термина существуют и другие значения, см. БНФ. Форма Бэкуса Наура (сокр. БНФ, Бэкуса Наура форма) формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории. БНФ… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»