□ 

означает последовательность из нуля или более выражений . Аналогично оператору "", оператор "" старше оператора выбора

□ 

— круглые скобки используются для группировки выражений. Выражения, заключенные в скобки, рассматриваются, как отдельная единица, которая может быть свободно использована в приведенных выше конструкциях. Например, выражение можно переписать в виде .

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

Рассмотрим реальную продукцию

языка XPath. — это последовательность из нескольких цифр от до и определяется она следующим образом:

Как правило, продукции в спецификациях языков пронумерованы для того, чтобы было легче на них ссылаться. Мы будем по возможности приводить эти номера так, как они указаны в технических рекомендациях — в квадратных скобках, например:

При помощи продукции Digits определяется такая продукция, как Number, которая соответствует числу. Число — это последовательность цифр, разделенная точкой на целую и дробную части:

Чтобы лучше понять EBNF, попробуем немного упростить эту продукцию. Выражение

внутри круглых скобок означает, что может как присутствовать, так и быть опущенным, то есть равносильно . Повторяя еще раз подобное упрощение с каждым из полученных выражений, в итоге преобразуем правило к виду:

Следовательно, число имеет четыре варианта синтаксиса:

□ последовательность цифр, например

;

□ последовательность цифр, разделенная точкой на целую и дробную части, например

;

□ последовательность цифр, заканчивающаяся точкой, например

— что эквивалентно ;

□ последовательность цифр, начинающаяся точкой, например

, что эквивалентно .

Разберем еще одну продукцию языка XPath — определение литерала. Литерал в XPath — это последовательность символов, заключаемая в одинарные или двойные кавычки, которая используется в качестве строкового параметра в функциях и т.д. Единственным и вполне логичным ограничением на синтаксис литерала является то, что он не может содержать символ собственных кавычек — в этом случае непонятно, где же на самом деле литерал кончается, а где начинается (например,

).

Конструкция

задается следующим образом:

В первом случае синтаксис литерала начинается двойными кавычками (

), затем идет последовательность, состоящая из любых символов, кроме двойных кавычек (), затем закрывающие двойные кавычки (). Во втором случае синтаксис имеет точно такой же вид с точностью до замены одинарных кавычек двойными и наоборот.

Другим очень часто используемым правилом является правило, определяющее пробельное пространство (англ. space или whitespace). Пробельными символами в XML-языках считаются такие символы, как табуляция, перевод строки, возврат каретки и сам пробел. Продукция

пробельного пространства задается, как последовательность из одного или более пробельного символа:

Как правило, EBNF-продукции языков XML-группы составлены довольно просто, но в некоторых случаях они разбиты на несколько правил, которые определены в разных частях спецификации. В таких случаях мы будем по возможности упрощать продукции, записывая их в раскрытом виде.

Для того чтобы текст книги был более понятен, мы будем использовать некоторые соглашения.

Прежде всего, код программ и текст XML-документов будет выделяться моноширинным шрифтом

. Листингам многих примеров будут предшествовать заголовки вида

Для того чтобы текст XML-документов был более наглядным, в листингах он будет форматироваться с пробельными отступами, например: