Выражение

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

Первый из этих нетерминалов,

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

С правилами

и мы уже знакомы — в данной продукции они показывают, что в DTD также можно использовать инструкции по обработке и комментарии.

Нетерминалы

, , и соответствуют определениям элемента, списка атрибутов, сущности и нотации. Они будут подробно разобраны в следующих четырех разделах.

Нетерминал

соответствует разделителю объявлений, которые перечисляются в DTD. Этот разделитель может быть либо пробельным пространством, либо параметризованной сущностью:

В случае, если определения в DTD разделяются сущностью-параметром, ее содержимое интерпретируется как обычные определения вида

.

Определение элемента задает имя и тип содержимого элемента в следующем виде:

Имя элемента должно начинаться с буквы, подчеркивания ("

") или двоеточия ("") и содержать буквы, цифры, некоторые знаки пунктуации (такие, как "" — подчеркивание, "" — двоеточие, "" — точка, "" — тире или знак минуса) и модифицирующие символы (см. разд. "Базовые продукции ХМL" данной главы).

Примером имени элемента может быть "

", "", "", "".

В качестве содержимого элемента может быть указано:

□ 

, в случае, когда элемент обязан быть пустым;

□ 

, в случае, когда элемент может содержать что угодно;

□ формальное правило, определяющее элементы, и данные, которые может содержать элемент, а также порядок их следования.

Первые два случая определения элемента довольно просты. Их использование может быть продемонстрировано на следующем примере:

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

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

Приведем пример документа, построенного в соответствии с этой декларацией.

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