Сайт патологического холостяка

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

<WRAP #content>
======Форма Бэкуса — Наура======
<WRAP #bodyContent><WRAP #mw-content-text :ru><wrap>**Форма Бэкуса — Наура** (сокр. **БНФ**, **[[бэкус-джон|Бэкуса]] — [[наур-питер|Наура]] форма**) — [[формальная-система|формальная система]] описания [[синтаксис|синтаксиса]], в которой одни [[синтаксическая-категория|синтаксические категории]] последовательно определяются через другие категории. БНФ используется для описания [[контекстно-свободная-грамматика|контекстно-свободных]] [[формальная-грамматика|формальных грамматик]]. Существует [[расширенная-форма-бэкуса-наура|расширенная форма Бэкуса — Наура]], отличающаяся лишь более ёмкими конструкциями.</wrap>

<wrap>Используется для описания [[синтаксис|синтаксиса]] языков программирования, данных, протоколов (например, в документах [[rfc|RFC]]) и т. д. (причём как грамматики, так и регулярной лексики, поскольку [[регулярная-грамматика|регулярные грамматики]] являются подмножеством [[контекстно-свободная-грамматика|контекстно-свободных]]).</wrap>


=====Описание=====
<wrap>//Терминология этой статьи может расходиться с традиционной.//</wrap>

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

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

<WRAP><code>
 <определяемый символ> ::= <посл.1> | <посл.2> | . . . | <посл.n>
</code></WRAP><wrap>, описывающих правила. Такое правило означает, что символ ''<определяемый символ>'' может заменяться на одну из последовательностей <посл.i>. Знак определения обычно выглядит как ''::='' или ''→'', но возможны и другие варианты.</wrap>

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


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

  * Вот пример БНФ-конструкции, описывающей правильные скобочные последовательности:
<WRAP><code>
 <правпосл>::=<пусто> | (<правпосл>) | <правпосл><правпосл>
</code></WRAP><wrap>Это простая конструкция, состоящая всего из одного правила, утверждающего, что символ ''<правпосл>'' может замениться либо на пустое место, либо на этот же символ <правпосл>, заключённый в скобки, либо на два символа ''<правпосл>'' идущих подряд.</wrap>

<wrap>Описание оператора ''if'' языка PASCAL в БНФ:</wrap>

<WRAP><code>
<условный оператор if> ::= if <булево выражение> then <оператор> [else <оператор>]
<булево выражение> ::= "NOT" <булево выражение>
    | <булево выражение> <логическая операция> <булево выражение>
    | <выражение> <операция сравнения> <выражение>
<логическая операция> ::= "OR" | "AND"
<выражение> ::= <переменная> | <строка> | <символ>
<операция сравнения> ::= "=" | "<" | ">"
 …
</code></WRAP></WRAP><WRAP></WRAP></WRAP></WRAP>
{{tag>"Формальные языки" Метамоделирование}}

Сайт патологического холостяка

Главное меню

Рекомендовать сайт

Навигация

Вход на сайт

Старая структура меню

Реклама

Сайт патологического холостяка

Инструменты пользователя

Инструменты сайта

Инструменты страницы

Главное меню

Рекомендовать сайт

Навигация

Вход на сайт

Старая структура меню

Реклама