Количество, с которым элемент может появляться в этой последовательности, формально записывается с использованием символов-модификаторов "

", "", "", которые имеют следующие значения:

□ 

— означает, что элемент может быть пропущен в последовательности;

□ 

— означает, что элемент должен присутствовать в последовательности на этом месте ровно один раз;

□ 

— задает последовательность из нуля или более элементов ;

□ 

— задает последовательность из одного или более элементов .

Кроме того, содержимое может моделироваться как перечисление и выбор элементов.

Элементы перечисляются через запятую в круглых скобках, например

— это последовательность, состоящая из элементов , , . Такая запись означает, что первым должен идти элемент , затем сразу же за ним элемент и элемент .

Выбор элемента задается аналогично перечислению, только разделительным символом является не запятая, а знак '

'. Например, () задает выбор одного из трех элементов , или .

При записи выбора и перечисления элементы могут также указываться с использованием модификаторов количества.

определяет содержимое, как последовательность, состоящую из нуля или более элементов

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

Помимо этого, формальные правила могут использовать при записи другие формальные правила.

задает содержимое, первым элементом которого является

или , вторым — элемент или .

Содержимое элементов может также включать символьные данные, которые обозначаются при помощи ключевого слова

(parsable character data — разбираемые символьные данные).

означает, что элемент

должен содержать только символьные данные.

Помимо текста элементы могут также включать в себя другие элементы. Содержимое такого типа называется смешанным. Формальные правила смешанного содержимого должны всегда иметь вид

.

При помощи формальных правил можно точно и гибко задавать логическую структуру элементов документа. В качестве примера приведем определения элементов для нашего документа с рекламным объявлением.

Предположим, мы хотим определить документ со следующей логической структурой:

□ корневым элементом документа является элемент

;

□ элемент

содержит последовательность, состоящую из нескольких элементов product и одного элемента , который может быть пропущен;

□ элемент

может содержать текст и другие элементы в любом порядке;

□ элемент

не имеет содержимого.

Документ соответствующей логической структуры может быть задан следующим образом.

Определению элемента соответствует EBNF-продукция

:

Нетерминал

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