ISO IEC 14977-1996 PDF

Полное наименование и описание

ISO/IEC 14977:1996 — Information technology — Syntactic metalanguage — Extended BNF. Стандарт описывает расширённую форму Бэкуса—Наура (EBNF) как металингвистику для формального описания синтаксиса последовательности символов, включая логическую структуру нотации и её графическое представление.

Аннотация

Стандарт задаёт формальную нотацию EBNF: мета-идентификаторы, терминальные строки, правила продукций и набор метасимволов для объединения, альтернатив, группировки, опциональности, повторения, исключений и специальных последовательностей. EBNF по ISO/IEC 14977 служит универсальной основой для чтения и документирования грамматик языков программирования, форматов данных и межсистемных протоколов; при этом на практике существуют многочисленные диалекты EBNF с небольшими вариациями синтаксиса.

Общая информация

• Статус: Опубликован и подтверждён как международный стандарт (стадия подтверждения).
• Дата публикации: декабрь 1996 (издание 1, опубликовано 12 декабря 1996 г.).
• Организация-издатель: ISO и IEC (совместная техническая комиссия ISO/IEC JTC 1; подкомитет SC 22 — Programming languages).
• ICS / категории: 35.060 (Информационные технологии — языки программирования и среды).
• Редакция / версия: Edition 1 (1996).
• Количество страниц: 12 (оригинал ISO/IEC).

Область применения

Стандарт предназначен для формального описания синтаксиса языков программирования, языков описания данных, конфигурационных форматов и протоколов обмена. Его применяют при подготовке спецификаций грамматик, документации компиляторов, средств генерации парсеров и при формальном описании форматов обмена данными между системами. На практике нотация ISO/IEC 14977 часто служит референсной моделью, из которой производят локальные варианции и расширения для конкретных инструментов.

Ключевые темы и требования

• Определение мета-идентификаторов и терминальных строк; чёткие правила записи продукций и символов окончания.
• Набор метасимволов: определяющий символ (defining symbol), разделитель альтернатив, конкатенация, группировка, опция, повтор { }, оператор повторения с указанием числа, исключение и специальные последовательности.
• Правила приоритета и ассоциативности метасимволов и скобочных пар; семантика пустой последовательности и терминальных кавычек.
• Возможности расширения через «специальные последовательности» (произвольный текст в специальных ограничителях) и синтаксические расширения для конкретных реализаций.
• Требование к однозначному оформлению грамматик для облегчения автоматической обработки и генерации парсеров.

Применение и пользователи

Пользователями стандарта обычно являются разработчики компиляторов и трансляторов, авторы спецификаций языков и форматов данных, специалисты по формальным методам, инструменты генерации парсеров и преподаватели. Стандарт полезен при подготовке формальных спецификаций, тестировании соответствия реализации грамматике и при миграции/документировании языков и форматов.

Связанные стандарты

Связь со стандартами и работами в области языков программирования и металингвистик: другие документы ISO/IEC JTC 1/SC 22, а также исторические источники — оригинальные BNF и варианты EBNF (авторы и реализации, такие как Wirth EBNF). ISO/IEC 14977 часто рассматривают в контексте стандартов на конкретные языки, где реализуются собственные грамматические привязки, использующие ту же методологию.

Ключевые слова

EBNF, Extended BNF, синтаксис, металингвистика, грамматика, метасимволы, продукция, парсер, ISO/IEC 14977, JTC 1/SC 22.

FAQ

В: Что это за стандарт?

О: Международный стандарт, задающий формальную разновидность расширённой формы Бэкуса—Наура (EBNF) для описания синтаксиса последовательностей символов (правила грамматики, метасимволы, представления).

В: Что он регулирует?

О: Определяет нотацию и семантику метасимволов EBNF (конкатенация, альтернатива, опция, повторение, исключение, специальные последовательности и т. п.), а также формальные требования к записи грамматик для обеспечения однозначности и машиночитаемости.

В: Кто обычно использует?

О: Разработчики компиляторов, инструменты для генерации парсеров, авторы спецификаций языков и форматов данных, исследователи в области формальных языков и преподаватели.

В: Он актуален или заменён?

О: Исходная версия 1996 г. остаётся действующей и была подтверждена по результатам систематических пересмотров (последующие подтверждения, в том числе в 2023 г.). Это означает, что стандарт официально не отменён и остаётся эталонной спецификацией EBNF. Тем не менее на практике существуют и широко используются диалекты и расширения EBNF.

В: Это часть серии?

О: Прямой «серии» как последовательности ISO-номеров у этого стандарта нет, но он относится к области работ ISO/IEC JTC 1/SC 22 по языкам программирования и связан с другими стандартами на конкретные языки и описания форматов.

В: Какие ключевые слова?

О: EBNF, Extended BNF, грамматика, синтаксис, метасимволы, спецификация языка, парсер, ISO/IEC 14977.