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

Расширенная форма Бэкуса — Наура (расширенная Бэкус — Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) — формальная система определения...

Бэкус: Бэкус, Джон — американский учёный в области информатики. Форма Бэкуса — Наура Расширенная Бэкус—Наурова форма Примечания Список значений слова или словосочетания...

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

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

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

«Доклада об алгоритмическом языке Алгол 60», в котором он использовал форму Бэкуса — Наура для описания формальной части Алгола 60. Формальная семантика In...

языки спецификаций, например, форма Бэкуса — Наура и ABNF (англ. augmented Backus-Naur form — расширенная форма Бэкуса — Наура) являются общепринятыми формальными...

Для определения метамодели MOF играет ту же роль, которую расширенная форма Бэкуса — Наура (РБНФ) играет для определения грамматики языка программирования...

недетерминированных конечных автоматов Синтаксический анализ Расширенная форма Бэкуса — Наура Синтаксис языка программирования Метаязык Глухова, Л.А. Основы...

структурного программирования Алгол 60 и, совместно с Бэкусом, как изобретатель формы Бэкуса — Наура. Начал научную карьеру как астроном. В 1957 году получил...

описания: полный синтаксис описан всего в 33 предложениях по расширенной форме Бэкуса — Наура: Модуль = MODULE имя ";" [СписокИмпорта] ПослОбъявл [BEGIN...

выражения и на контекстно-свободные грамматики (КС-грамматики) в нотации Бэкуса-Наура, но имеют отличную от них интерпретацию. В отличие от КС-грамматик, РВ-грамматики...

Компактный синтаксис RELAX NG — это не-XML формат, основанный на расширенной форме Бэкуса — Наура и регулярных выражениях, спроектированный таким образом, что...

формы Бэкуса — Наура во спецификации.  (неопр.) Дата обращения: 12 апреля 2014. Архивировано 10 января 2020 года. Запись пустого пространства в форме...

разной длины массивов a и b). Полное описание синтаксиса языка в расширенной форме Бэкуса-Наура приведено на страницах Сообщения о языке Компонентный Паскаль...

английских предложений; самоописания метаязыка нормальных форм знания; метаязыка расширенных форм Бэкуса-Наура; трех языков XML, RDF и OWL из состава Семантической...

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

алгоритм Дейкстры. Джон Бэкус и Питер Наур изобрели формальную систему описания синтаксиса языков программирования — форму Бэкуса — Наура. Роберт Флойд разработал...

но ни один не может претендовать на звание универсального, как Форма Бэкуса — Наура для спецификации синтаксиса. Разработка Если формальная спецификация...

$statement ) ? "Соответствует<br><br>" : "Не соответствует<br><br>"; } ?> Форма Бэкуса — Наура Языково-ориентированное программирование Предметно-специфичный язык...

иерархическая структура грамматик, лежащая в основе языка расширенной формы Бэкуса — Наура, делает деревья более гибким подходом. Коза представил программы...

2 3)) выдаёт 10 (в инфиксной записи это 2 * 3 + 4). Синтаксис в форме Бэкуса — Наура: s_expression ::= atomic_symbol | "(" s_expression "." s_expression...

линейной логики (англ. classic linear logic, CLL) может быть описан в форме Бэкуса — Наура: A ::= p ∣ p⊥ | A ⊗ A ∣ A ⊕ A | A & A ∣ A ⅋ A | 1 ∣ 0 ∣ ⊤ ∣ ⊥ |  ...