Document Type Definition

Program-Transformation.Org: The Program Transformation Wiki
DocumentTypeDefinition (DTD) is the original SchemaLanguageForXML and is in fact part of the XML standard.

DTD is a LocalTreeGrammar?. This means that the same terminal (production label) cannot be used for different non-terminals. DTD enforces this by making non-terminals and terminals equivalent: it is not possible to specify non-terminals. Because of this tree-locality property it is straightforward to create an interpretation of an XML document against a DTD: there is one to one mapping from the XML tags to production rules and thus to non-terminals.

-- MartinBravenboer - 30 May 2002