Browsable DTD Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/metasyntax/dtd/extracted
Source used for this grammar: Pierrick Guyard, DTD.ecore, 2005/06/20

Summary

• Total 32 production rules with 42 top alternatives and 139 symbols.
• Vocabulary: 48 = 23 nonterminals + 2 terminals + 23 labels + 0 markers.
• Total 23 nonterminal symbols: 23 defined (Occurence, OtherAttributeTypeEnum, TypeDescription, Notation, Entity, Element, AnyElement, RestrictedElement, ElementContent, Mixed, Children, Sequence, Leaf, Choice, AttributeList, AttributeDescription, NoDefaultValue, DefaultValue, AttributeType, Enumeration, OtherAttributeType, String, Boolean), 0 root (—), 4 top (Occurence, TypeDescription, AttributeType, OtherAttributeType), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 23 labels: [zeroOrOne], [zeroOrMore], [oneOrMore], [one], [cdata], [id], [idref], [entityType], [entities], [nmtoken], [nmtakens], [content] ³, [isInternal], [elements], [children], [elementName], [childrenChoice], [containsAttributes], [isRequired], [value], [isFixed], [values], [type].

Syntax

Occurence ::=
	[zeroOrOne]::ε
	[zeroOrMore]::ε
	[oneOrMore]::ε
	[one]::ε

OtherAttributeTypeEnum ::=
	[cdata]::ε
	[id]::ε
	[idref]::ε
	[entityType]::ε
	[entities]::ε
	[nmtoken]::ε
	[nmtakens]::ε

TypeDescription ::=
	Notation

TypeDescription ::=
	Entity

TypeDescription ::=
	Element

TypeDescription ::=
	AttributeList

TypeDescription ::=
	AttributeDescription

Notation ::=
	[content]::String

Entity ::=
	[content]::String [isInternal]::Boolean

Element ::=
	AnyElement

Element ::=
	RestrictedElement

AnyElement ::=
	ε

RestrictedElement ::=
	[content]::ElementContent

ElementContent ::=
	Mixed

ElementContent ::=
	Children

Mixed ::=
	[elements]::String

Children ::=
	Sequence

Children ::=
	Leaf

Children ::=
	Choice

Sequence ::=
	[children]::Children

Leaf ::=
	[elementName]::String

Choice ::=
	[childrenChoice]::Children

AttributeList ::=
	[containsAttributes]::AttributeDescription+

AttributeDescription ::=
	NoDefaultValue

AttributeDescription ::=
	DefaultValue

NoDefaultValue ::=
	[isRequired]::Boolean

DefaultValue ::=
	[value]::String [isFixed]::Boolean

AttributeType ::=
	Enumeration

Enumeration ::=
	[values]::String

OtherAttributeType ::=
	[type]::OtherAttributeTypeEnum

String ::=
	string

Boolean ::=
	"true"
	"false"

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]