Char ::= #x9 | #xA | #xD | [#x20-#xD7FF] | [#xE000-#xFFFD] | [#x10000-#x10FFFF] S ::= (#x20 | #x9 | #xD | #xA)+ Eq ::= S? '=' S? NameChar ::= Letter | Digit | '.' | '-' | '_' | ':' | CombiningChar | Extender Name ::= (Letter | '_' | ':') (NameChar)* Names ::= Name (#x20 Name)*" Nmtoken ::= (NameChar)+ Nmtokens ::= Nmtoken (#x20 Nmtoken)*" Letter ::= BaseChar | Ideographic BaseChar ::= [#x0041-#x005A] | [#x0061-#x007A] | [#x00C0-#x00D6] | [#x00D8-#x00F6] | [#x00F8-#x00FF] | [#x0100-#x0131] | [#x0134-#x013E] | [#x0141-#x0148] | [#x014A-#x017E] | [#x0180-#x01C3] | [#x01CD-#x01F0] | [#x01F4-#x01F5] | [#x01FA-#x0217] | [#x0250-#x02A8] | [#x02BB-#x02C1] | #x0386 | [#x0388-#x038A] | #x038C | [#x038E-#x03A1] | [#x03A3-#x03CE] | [#x03D0-#x03D6] | #x03DA | #x03DC | #x03DE | #x03E0 | [#x03E2-#x03F3] | [#x0401-#x040C] | [#x040E-#x044F] | [#x0451-#x045C] | [#x045E-#x0481] | [#x0490-#x04C4] | [#x04C7-#x04C8] | [#x04CB-#x04CC] | [#x04D0-#x04EB] | [#x04EE-#x04F5] | [#x04F8-#x04F9] | [#x0531-#x0556] | #x0559 | [#x0561-#x0586] | [#x05D0-#x05EA] | [#x05F0-#x05F2] | [#x0621-#x063A] | [#x0641-#x064A] | [#x0671-#x06B7] | [#x06BA-#x06BE] | [#x06C0-#x06CE] | [#x06D0-#x06D3] | #x06D5 | [#x06E5-#x06E6] | [#x0905-#x0939] | #x093D | [#x0958-#x0961] | [#x0985-#x098C] | [#x098F-#x0990] | [#x0993-#x09A8] | [#x09AA-#x09B0] | #x09B2 | [#x09B6-#x09B9] | [#x09DC-#x09DD] | [#x09DF-#x09E1] | [#x09F0-#x09F1] | [#x0A05-#x0A0A] | [#x0A0F-#x0A10] | [#x0A13-#x0A28] | [#x0A2A-#x0A30] | [#x0A32-#x0A33] | [#x0A35-#x0A36] | [#x0A38-#x0A39] | [#x0A59-#x0A5C] | #x0A5E | [#x0A72-#x0A74] | [#x0A85-#x0A8B] | #x0A8D | [#x0A8F-#x0A91] | [#x0A93-#x0AA8] | [#x0AAA-#x0AB0] | [#x0AB2-#x0AB3] | [#x0AB5-#x0AB9] | #x0ABD | #x0AE0 | [#x0B05-#x0B0C] | [#x0B0F-#x0B10] | [#x0B13-#x0B28] | [#x0B2A-#x0B30] | [#x0B32-#x0B33] | [#x0B36-#x0B39] | #x0B3D | [#x0B5C-#x0B5D] | [#x0B5F-#x0B61] | [#x0B85-#x0B8A] | [#x0B8E-#x0B90] | [#x0B92-#x0B95] | [#x0B99-#x0B9A] | #x0B9C | [#x0B9E-#x0B9F] | [#x0BA3-#x0BA4] | [#x0BA8-#x0BAA] | [#x0BAE-#x0BB5] | [#x0BB7-#x0BB9] | [#x0C05-#x0C0C] | [#x0C0E-#x0C10] | [#x0C12-#x0C28] | [#x0C2A-#x0C33] | [#x0C35-#x0C39] | [#x0C60-#x0C61] | [#x0C85-#x0C8C] | [#x0C8E-#x0C90] | [#x0C92-#x0CA8] | [#x0CAA-#x0CB3] | [#x0CB5-#x0CB9] | #x0CDE | [#x0CE0-#x0CE1] | [#x0D05-#x0D0C] | [#x0D0E-#x0D10] | [#x0D12-#x0D28] | [#x0D2A-#x0D39] | [#x0D60-#x0D61] | [#x0E01-#x0E2E] | #x0E30 | [#x0E32-#x0E33] | [#x0E40-#x0E45] | [#x0E81-#x0E82] | #x0E84 | [#x0E87-#x0E88] | #x0E8A | #x0E8D | [#x0E94-#x0E97] | [#x0E99-#x0E9F] | [#x0EA1-#x0EA3] | #x0EA5 | #x0EA7 | [#x0EAA-#x0EAB] | [#x0EAD-#x0EAE] | #x0EB0 | [#x0EB2-#x0EB3] | #x0EBD | [#x0EC0-#x0EC4] | [#x0F40-#x0F47] | [#x0F49-#x0F69] | [#x10A0-#x10C5] | [#x10D0-#x10F6] | #x1100 | [#x1102-#x1103] | [#x1105-#x1107] | #x1109 | [#x110B-#x110C] | [#x110E-#x1112] | #x113C | #x113E | #x1140 | #x114C | #x114E | #x1150 | [#x1154-#x1155] | #x1159 | [#x115F-#x1161] | #x1163 | #x1165 | #x1167 | #x1169 | [#x116D-#x116E] | [#x1172-#x1173] | #x1175 | #x119E | #x11A8 | #x11AB | [#x11AE-#x11AF] | [#x11B7-#x11B8] | #x11BA | [#x11BC-#x11C2] | #x11EB | #x11F0 | #x11F9 | [#x1E00-#x1E9B] | [#x1EA0-#x1EF9] | [#x1F00-#x1F15] | [#x1F18-#x1F1D] | [#x1F20-#x1F45] | [#x1F48-#x1F4D] | [#x1F50-#x1F57] | #x1F59 | #x1F5B | #x1F5D | [#x1F5F-#x1F7D] | [#x1F80-#x1FB4] | [#x1FB6-#x1FBC] | #x1FBE | [#x1FC2-#x1FC4] | [#x1FC6-#x1FCC] | [#x1FD0-#x1FD3] | [#x1FD6-#x1FDB] | [#x1FE0-#x1FEC] | [#x1FF2-#x1FF4] | [#x1FF6-#x1FFC] | #x2126 | [#x212A-#x212B] | #x212E | [#x2180-#x2182] | [#x3041-#x3094] | [#x30A1-#x30FA] | [#x3105-#x312C] | [#xAC00-#xD7A3] Ideographic ::= [#x4E00-#x9FA5] | #x3007 | [#x3021-#x3029] CombiningChar ::= [#x0300-#x0345] | [#x0360-#x0361] | [#x0483-#x0486] | [#x0591-#x05A1] | [#x05A3-#x05B9] | [#x05BB-#x05BD] | #x05BF | [#x05C1-#x05C2] | #x05C4 | [#x064B-#x0652] | #x0670 | [#x06D6-#x06DC] | [#x06DD-#x06DF] | [#x06E0-#x06E4] | [#x06E7-#x06E8] | [#x06EA-#x06ED] | [#x0901-#x0903] | #x093C | [#x093E-#x094C] | #x094D | [#x0951-#x0954] | [#x0962-#x0963] | [#x0981-#x0983] | #x09BC | #x09BE | #x09BF | [#x09C0-#x09C4] | [#x09C7-#x09C8] | [#x09CB-#x09CD] | #x09D7 | [#x09E2-#x09E3] | #x0A02 | #x0A3C | #x0A3E | #x0A3F | [#x0A40-#x0A42] | [#x0A47-#x0A48] | [#x0A4B-#x0A4D] | [#x0A70-#x0A71] | [#x0A81-#x0A83] | #x0ABC | [#x0ABE-#x0AC5] | [#x0AC7-#x0AC9] | [#x0ACB-#x0ACD] | [#x0B01-#x0B03] | #x0B3C | [#x0B3E-#x0B43] | [#x0B47-#x0B48] | [#x0B4B-#x0B4D] | [#x0B56-#x0B57] | [#x0B82-#x0B83] | [#x0BBE-#x0BC2] | [#x0BC6-#x0BC8] | [#x0BCA-#x0BCD] | #x0BD7 | [#x0C01-#x0C03] | [#x0C3E-#x0C44] | [#x0C46-#x0C48] | [#x0C4A-#x0C4D] | [#x0C55-#x0C56] | [#x0C82-#x0C83] | [#x0CBE-#x0CC4] | [#x0CC6-#x0CC8] | [#x0CCA-#x0CCD] | [#x0CD5-#x0CD6] | [#x0D02-#x0D03] | [#x0D3E-#x0D43] | [#x0D46-#x0D48] | [#x0D4A-#x0D4D] | #x0D57 | #x0E31 | [#x0E34-#x0E3A] | [#x0E47-#x0E4E] | #x0EB1 | [#x0EB4-#x0EB9] | [#x0EBB-#x0EBC] | [#x0EC8-#x0ECD] | [#x0F18-#x0F19] | #x0F35 | #x0F37 | #x0F39 | #x0F3E | #x0F3F | [#x0F71-#x0F84] | [#x0F86-#x0F8B] | [#x0F90-#x0F95] | #x0F97 | [#x0F99-#x0FAD] | [#x0FB1-#x0FB7] | #x0FB9 | [#x20D0-#x20DC] | #x20E1 | [#x302A-#x302F] | #x3099 | #x309A Digit ::=[#x0030-#x0039] | [#x0660-#x0669] | [#x06F0-#x06F9] | [#x0966-#x096F] | [#x09E6-#x09EF] | [#x0A66-#x0A6F] | [#x0AE6-#x0AEF] | [#x0B66-#x0B6F] | [#x0BE7-#x0BEF] | [#x0C66-#x0C6F] | [#x0CE6-#x0CEF] | [#x0D66-#x0D6F] | [#x0E50-#x0E59] | [#x0ED0-#x0ED9] | [#x0F20-#x0F29] Extender ::= #x00B7 | #x02D0 | #x02D1 | #x0387 | #x0640 | #x0E46 | #x0EC6 | #x3005 | [#x3031-#x3035] | [#x309D-#x309E] | [#x30FC-#x30FE] document ::= prolog element Misc* Misc ::= Comment | PI | S prolog ::= XMLDecl? Misc* (doctypedecl Misc*)? XMLDecl ::= '' VersionInfo ::= S ' version' Eq ("'" VersionNum "'" | '"' VersionNum '"') VersionNum ::= ([a-zA-Z0-9_.:] | '-')+ EncodingDecl ::= S 'encoding' Eq ('"' EncName '"' | "'" EncName "'" ) EncName ::= [A-Za-z] ([A-Za-z0-9._] | '-')* DeclSep ::= PEReference | S doctypedecl ::= '' /* [VC: 1] */ /* * 1. Validity Constraint (doctypedecl): in the Document Type Declaration * (doctypedecl), the Name must match the Name of the element type of the * actual root element of the document */ ExternalID ::= 'SYSTEM' S SystemLiteral | 'PUBLIC' S PubidLiteral S SystemLiteral SystemLiteral ::= ('"' [^"]* '"') | ("'" [^']* "'") PubidLiteral ::= '"' PubidChar* '"' | "'" (PubidChar - "'")* "'" PubidChar ::= #x20 | #xD | #xA | [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%] PEReference ::= '%' Name ';' markupdecl ::= elementdecl | AttlistDecl | EntityDecl | NotationDecl | PI | Comment /* [WFC: 2; VC: 3] /* /* * 2. Well-Formedness Constraint (markupdecl): Correct placement of * parameter-entity references. In the internal DTD subset, * parameter-entity references can occur only where markup declarations * can occur, not within markup declarations. (This does not apply to * references that occur in external parameter entities or to the external * subset.) * * 3. Validity Constraint: markup declaration content: Parameter-entity * replacement text must be properly nested with markup declarations. That * is to say, if either the first character or the last character of a * markup declaration (markupdecl) is contained in the replacement text * for a parameter-entity reference, both must be contained in the * same replacement text. */ elementdecl ::= '' /* [VC: 4] */ /* * 4. Validity constraint: No element type may be declared more than once. */ contentspec ::= 'EMPTY' | 'ANY' | Mixed | children children ::= (choice | seq) ('?' | '*' | '+')? cp ::= (Name | choice | seq) ('?' | '*' | '+')? choice ::= '(' S? cp ( S? '|' S? cp )+ S? ')' /* [VC: 5] */ seq ::= '(' S? cp ( S? ',' S? cp )* S? ')' /* [VC: 5] */ Mixed ::= '(' S? '#PCDATA' (S? '|' S? Name)* ? ')*' /* [VC: 5; 6] */ | '(' S? '#PCDATA' S? ')' /* * 5. Validity constraint (choice, seq and Mixed): Parameter-entity * replacement text must be properly nested with parenthetized * groups. That is to say, if either of the opening or closing * parentheses in a choice, seq, or Mixed construct is contained * in the replacement text for a parameter entity, both must be * contained in the same replacement text. For interoperability, * if a parameter-entity reference appears in a choice, seq, or Mixed * construct, its replacement text should not be empty, and neither * the first nor last non-blank character of the replacement text * should be a connector (| or ,). * * 6. Validity Costraint (Mixed): The same name must not appear more * than once in a single mixed-content declaration. */ AttlistDecl ::= '' AttDef ::= S Name S AttType S DefaultDecl AttType ::= StringType | TokenizedType | EnumeratedType StringType ::= 'CDATA' TokenizedType ::= 'ID' /* [VC: 7,8,9] */ | 'IDREF' | 'IDREFS' /* [VC: 10] */ | 'ENTITY' | 'ENTITIES' /* [VC: 11] */ | 'NMTOKEN' | 'NMTOKENS' /* [VC: 12] */ /* * 7. Validity Constraint (ID): Values of type ID must match the Name production. * A name must not appear more than once in an XML document as a value of this * type; i.e., ID values must uniquely identify the elements which bear them. * * 8. Validity Constraint (ID): No element type may have more than one ID * attribute specified. * * 9. Validity Constraint (ID): An ID attribute must have a declared default * of #IMPLIED or #REQUIRED. * * 10.Validity Constraint (IDREF or IDREFS): Values of type IDREF must match the Name * production, and values of type IDREFS must match Names; each Name must match the * value of an ID attribute on some element in the XML document; i.e. IDREF values * must match the value of some ID attribute. * * 11.Validity Constraint (ENTITY or ENTITIES): Values of type ENTITY must * match the Name production, values of type ENTITIES must match Names; each * Name must match the name of an unparsed entity declared in the DTD. * * 12.Validity Constraint (NMTOKEN or NMTOKENS): Values of type NMTOKEN must * match the Nmtoken production; values of type NMTOKENS must match Nmtokens. */ EnumeratedType ::= NotationType | Enumeration NotationType ::= 'NOTATION' S '(' S? Name (S? '|' S? Name)* S? ')' /*[VC: 13]*/ /* * 13. Validity Constraint (NotationType): Values of this type must match one * of the notation names included in the declaration; all notation names in * the declaration must be declared. */ Enumeration ::= '(' S? Nmtoken (S? '|' S? Nmtoken)* S? ')' /* [VC: 14] */ /* * 14. Validity Constraint (Enumeration): Values of this type must match * one of the Nmtoken tokens in the declaration. */ DefaultDecl ::= '#REQUIRED' | '#IMPLIED' | (('#FIXED' S)? AttValue) /* [VC: 15,16,17; WFC:18] */ /* * 15. Validity Constraint (DefaultDecl): If the default declaration is * the keyword #REQUIRED, then the attribute must be specified for * all elements of the type in the attribute-list declaration. * * 16. Validity Constraint (DefaultDecl): The declared default value must * meet the lexical constraints of the declared attribute type. * * 17. Validity Constraint (DefaultDecl): If an attribute has a default * value declared with the #FIXED keyword, instances of that attribute * must match the default value. * * 18. Well-Formedness Constraint (DefaultDecl): No < in Attribute Values. * The replacement text of any entity referred to directly or indirectly * in an attribute value (other than "<") must not contain a <. */ AttValue ::= '"' ([^<&"] | Reference)* '"' | "'" ([^<&'] | Reference)* "'" Reference ::= EntityRef | CharRef EntityRef ::= '&' Name ';' /* [WFC: 19,20,21; VC: 22] */ /* * 19. Well-Formedness Constraint (EntityRef): Entity must be declared. In * a document without any DTD, a document with only an internal DTD subset * which contains no parameter entity references, or a document with * "standalone='yes'", the Name given in the entity reference must match that * in an entity declaration, except that well-formed documents need not * declare any of the following entities: amp, lt, gt, apos, quot. The * declaration of a parameter entity must precede any reference to it. * Similarly, the declaration of a general entity must precede any reference * to it which appears in a default value in an attribute-list declaration. * Note that if entities are declared in the external subset or in external * parameter entities, a non-validating processor is not obligated to read * and process their declarations; for such documents, the rule that an entity * must be declared is a well-formedness constraint only if standalone='yes'. * * 20. Well-Formedness Constraint (EntityRef): An entity reference must * reference a parsed entity. An entity reference must not contain the name * of an unparsed entity. Unparsed entities may be referred to only in * attribute values declared to be of type ENTITY or ENTITIES. * * 21. Well-Formedness Constraint (EntityRef): An entity reference cannot * recurse. A parsed entity must not contain a recursive reference to * itself, either directly or indirectly. * * 22. Validity Constraint (EntityRef): An entity must be declared. In a * document with an external subset or external parameter entities with * "standalone='no'", the Name given in the entity reference must * match that in an entity declaration. For interoperability, valid * documents should declare the entities amp, lt, gt, apos, quot, in the * form specified in "4.6 Predefined Entities". The declaration of a parameter * entity must precede any reference to it. Similarly, the declaration of * a general entity must precede any reference to it which appears in a * default value in an attribute-list declaration. */ CharRef ::= '&#' [0-9]+ ';' | '&#x' [0-9a-fA-F]+ ';' /* [WFC: 23] */ /* * 23. Well-Formedness Constraint (CharRef): Must refer to a valid * character. Characters referred to using character references * must match the production for Char. */ EntityDecl ::= GEDecl | PEDecl GEDecl ::= '' PEDecl ::= '' EntityDef ::= EntityValue | (ExternalID NDataDecl?) PEDef ::= EntityValue | ExternalID EntityValue ::= '"' ([^%&"] | PEReference | Reference)* '"' | "'" ([^%&'] | PEReference | Reference)* "'" NDataDecl ::= S 'NDATA' S Name /* [VC: 24] */ /* * 24. Validity Constraint (NDataDecl): The Name must match the declared * name of a notation. */ NotationDecl ::= '' PublicID ::= 'PUBLIC' S PubidLiteral PI ::= '' Char*)))? '?>' PITarget ::= Name - (('X' | 'x') ('M' | 'm') ('L' | 'l')) Comment ::= '' element ::= EmptyElemTag | STag content ETag /* [WFC: 25; VC: 26] */ /* * 25. Well-Formedness Constraint (element): The Name in an element's * end-tag must match the element type in the start-tag. * * 26. Validity Constraint (element): An element is valid if there is * a declaration matching elementdecl where the Name matches the element * type, and one of the following holds: * 1.The declaration matches EMPTY and the element has no content. * 2.The declaration matches children and the sequence of child elements belongs * to the language generated by the regular expression in the content model, * with optional white space (characters matching the nonterminal S) * between each pair of child elements. * 3.The declaration matches Mixed and the content consists of character data and * child elements whose types match names in the content model. * 4.The declaration matches ANY, and the types of any child elements have * been declared. */ STag ::= '<' Name (S Attribute)* S? '>' /* [WFC: 27] */ /* * 27. Well-Formedness Constraint (stag): No attribute name may appear * more than once in the same start-tag or empty-element tag. */ Attribute ::= Name Eq AttValue /* [WFC: 28,29; VC: 30] */ /* * 28. Well-Formedness Constraint (Attribute): Attribute values cannot * contain direct or indirect entity references to external entities. * * 29. Well-Formedness Constraint (Attribute): The replacement text of * any entity referred to directly or indirectly in an attribute value * (other than "<") must not contain a <. * * 30. Validity Constraint (Attribute): The attribute must have been * declared; and the value must be of the type declared for it. (For * attribute types, see "3.3 Attribute-List Declarations".) */ ETag ::= '' content ::= CharData? ((element | Reference | CDSect | PI | Comment) CharData?)* EmptyElemTag ::= '<' Name (S Attribute)* S? '/>' /* [WFC: 31] */ /* * 31. Well-Formedness Constraint (EmptyElemTag): No attribute name may * appear more than once in the same start-tag or empty-element tag. * This is equivalent to constraint 27. */ CharData ::= [^<&]* - ([^<&]* ']]>' [^<&]*) CDSect ::= CDStart CData CDEnd CDStart ::= '' Char*)) CDEnd ::= ']]>' LanguageID ::= Langcode ('-' Subcode)* Langcode ::= ISO639Code | IanaCode | UserCode ISO639Code ::= ([a-z] | [A-Z]) ([a-z] | [A-Z]) IanaCode ::= ('i' | 'I') '-' ([a-z] | [A-Z])+ UserCode ::= ('x' | 'X') '-' ([a-z] | [A-Z])+ Subcode ::= ([a-z] | [A-Z])+ extSubset ::= TextDecl? extSubsetDecl extSubsetDecl ::= ( markupdecl | conditionalSect | DeclSep )* SDDecl ::= S 'standalone' Eq (("'" ('yes' | 'no') "'") | ('"' ('yes' | 'no') '"')) /* [VC: 32] */ /* * 32. Validity Constraint (SDDecl): The standalone document declaration * must have the value "no" if any external markup declarations contain * declarations of: * + attributes with default values, if elements to which these attributes * apply appear in the document without specifications of values * for these attributes, or * + entities (other than amp, lt, gt, apos, quot), if references to * those entities appear in the document, or * + attributes with values subject to normalization, where the * attribute appears in the document with a value which will change * as a result of normalization, or attribute appears in the document * with a value which will change as a result of normalization, or * + element types with element content, if white space occurs directly * within any instance of those types. * */ TextDecl ::= '' extParsedEnt ::= TextDecl? content conditionalSect ::= includeSect | ignoreSect includeSect ::= '' ignoreSect ::= '' ignoreSectContents ::= Ignore ('' Ignore)* Ignore ::= Char* - (Char* ('') Char*)