Browsable LDF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: doc/ldf/v22.0-xsd/extracted
Source used for this grammar: Vadim Zaytsev, Software Language Processing Suite, LDF, shared/xsd/ldf.xsd, 2008–2011, Version 42 [Explore]

Summary

• Total 45 production rules with 89 top alternatives and 582 symbols.
• Vocabulary: 172 = 46 nonterminals + 0 terminals + 126 labels + 0 markers.
• Total 46 nonterminal symbols: 45 defined (document, title-ve-uri, part-type, metainfo, person, section-type, subsection-type, content-content, section, composite-section, placeholder, simple-section, lexical-section, lexical-section-role, list-section, list-section-role, term, structured-section, structured-section-element, normative-role, informative-role, anchor, textual-content, text-element, figure, figure-source, figure-type, table, table-row, list-type, mixed-type, formula, keyword, code, link, math, mfenced, mtext, msub, msup, mrow, mi, mo, varepsilon, anyMath), 27 root (document, metainfo, composite-section, placeholder, simple-section, lexical-section, list-section, term, structured-section, normative-role, informative-role, anchor, figure, table, formula, keyword, code, link, math, mfenced, mtext, msub, msup, mrow, mi, mo, varepsilon), 0 top (—), 1 bottom (production).
• Total 126 labels: [ansi], [ecma], [ieee], [iso], [iso/iet], [itu], [iec], [ietf], [oasis], [omg], [wsa], [w3c], [body], [number], [author] ⁵, [topic], [unknown], [draft], [candidate], [proposed], [approved], [revised], [obsolete], [withdrawn], [collection], [trial], [errata], [report], [status], [version] ², [edition] ², [previous], [date], [metadata] ⁴, [part], [title] ⁵, [uri] ², [id] ⁵, [front-matter], [core-part], [back-matter], [annex], [role] ⁵, [section] ², [name] ², [affiliation], [email], [abstract], [conformance], [compatibility], [design-goals], [document-structure], [foreword], [references] ², [notation], [scope], [what-is-new], [index] ², [full-grammar] ², [list-of-tables] ², [list-of-authors] ², [list-of-contents] ², [list-of-references] ², [top-section], [lexical-section], [description] ³, [syntax] ³, [example] ³, [subsection] ³, [normative] ², [informative] ², [type] ³, [content] ⁶, [placeholder] ², [synopsis] ², [constraints] ², [relationship] ², [semantics] ², [default] ², [rationale] ², [update] ², [subtopic] ², [para], [list] ², [lexical-issue], [line-continuations], [literals], [preprocessor], [tokens], [whitespace], [abbreviations], [definitions], [language-overview], [normative-references], [definition], [key], [data], [value], [empty], [text] ², [math], [mfenced], [mtext], [msub], [msup], [mrow], [mi], [mo], [varepsilon], [formula], [source] ², [sample], [local-file], [PDF], [PostScript], [SVG], [PNG], [GIF], [JPEG], [header], [row], [table-cell], [item], [nonterminal], [reference], [external].

Syntax

document ::=
	[metadata]::([body]::([ansi]::ε | [ecma]::ε | [ieee]::ε | [iso]::ε | [iso/iet]::ε | [itu]::ε | [iec]::ε | [ietf]::ε | [oasis]::ε | [omg]::ε | [wsa]::ε | [w3c]::ε)? [number]::string? [author]::person* [topic]::string [status]::([unknown]::ε | [draft]::ε | [candidate]::ε | [proposed]::ε | [approved]::ε | [revised]::ε | [obsolete]::ε | [withdrawn]::ε | [collection]::ε | [trial]::ε | [errata]::ε | [report]::ε) ([version]::string | [edition]::string) [previous]::title-ve-uri* [date]::string) [part]::part-type+

title-ve-uri ::=
	[title]::string ([version]::string | [edition]::string)? [uri]::string?

part-type ::=
	[metadata]::([id]::string? [role]::([front-matter]::ε | [core-part]::ε | [back-matter]::ε | [annex]::ε) [title]::string? [author]::person*) [section]::section-type+

metainfo ::=
	[id]::string? [title]::string? [author]::string*

person ::=
	[name]::string [affiliation]::string? [email]::string?

section-type ::=
	[metadata]::([id]::string? [role]::([abstract]::ε | [conformance]::ε | [compatibility]::ε | [design-goals]::ε | [document-structure]::ε | [foreword]::ε | [references]::ε | [notation]::ε | [scope]::ε | [what-is-new]::ε | [index]::ε | [full-grammar]::ε | [list-of-tables]::ε | [list-of-authors]::ε | [list-of-contents]::ε | [list-of-references]::ε | [top-section]::ε | [lexical-section]::ε | [description]::ε | [syntax]::ε | [example]::ε | [subsection]::ε) [type]::([normative]::ε | [informative]::ε)? [title]::string? [author]::person*) ([content]::content-content+ | [placeholder]::α | [subsection]::subsection-type+)

subsection-type ::=
	[metadata]::([id]::string? [role]::([synopsis]::ε | [description]::ε | [syntax]::ε | [constraints]::ε | [relationship]::ε | [semantics]::ε | [default]::ε | [rationale]::ε | [example]::ε | [update]::ε | [subtopic]::ε | [section]::ε) [type]::([normative]::ε | [informative]::ε)? [title]::string? [author]::person*) ([content]::content-content+ | [placeholder]::α | [subsection]::subsection-type+)

content-content ::=
	[para]::mixed-type
	[list]::list-type
	production

section ::=
	placeholder
	simple-section
	lexical-section
	structured-section
	composite-section
	list-section

composite-section ::=
	section+

placeholder ::=
	[index]::ε
	[full-grammar]::ε
	[list-of-tables]::ε
	[list-of-authors]::ε
	[list-of-contents]::ε
	[list-of-references]::ε

simple-section ::=
	metainfo [content]::textual-content

lexical-section ::=
	[role]::lexical-section-role metainfo [content]::textual-content

lexical-section-role ::=
	[lexical-issue]::ε
	[line-continuations]::ε
	[literals]::ε
	[preprocessor]::ε
	[tokens]::ε
	[whitespace]::ε

list-section ::=
	[role]::list-section-role metainfo [content]::term+

list-section-role ::=
	[abbreviations]::ε
	[definitions]::ε
	[language-overview]::ε
	[normative-references]::ε

term ::=
	[name]::string [definition]::textual-content

structured-section ::=
	metainfo [content]::structured-section-element+

structured-section-element ::=
	[subtopic]::structured-section
	[references]::list-type
	placeholder
	[value]::([key]::string [data]::string)
	(normative-role | informative-role)? simple-section

normative-role ::=
	[synopsis]::ε
	[description]::ε
	[syntax]::ε
	[constraints]::ε
	[relationship]::ε
	[semantics]::ε
	[default]::ε

informative-role ::=
	[example]::ε
	[rationale]::ε
	[update]::ε

anchor ::=
	[id]::string

textual-content ::=
	text-element+

text-element ::=
	[empty]::ε
	code
	[text]::mixed-type
	figure
	table
	[list]::list-type
	[formula]::([math]::anyMath | [mfenced]::anyMath | [mtext]::anyMath | [msub]::anyMath | [msup]::anyMath | [mrow]::anyMath | [mi]::anyMath | [mo]::anyMath | [varepsilon]::α)+
	[sample]::((α | string)* [source]::string)

figure ::=
	metainfo [source]::figure-source+

figure-source ::=
	[type]::figure-type ([local-file]::string | [uri]::string)

figure-type ::=
	[PDF]::ε
	[PostScript]::ε
	[SVG]::ε
	[PNG]::ε
	[GIF]::ε
	[JPEG]::ε

table ::=
	[header]::table-row* [row]::table-row+

table-row ::=
	[table-cell]::textual-content+

list-type ::=
	[item]::mixed-type+

mixed-type ::=
	(α | string)*

formula ::=
	α+

keyword ::=
	string

code ::=
	string

link ::=
	[text]::string? ([nonterminal]::string | [reference]::string | [external]::string)

math ::=
	anyMath

mfenced ::=
	anyMath

mtext ::=
	anyMath

msub ::=
	anyMath

msup ::=
	anyMath

mrow ::=
	anyMath

mi ::=
	anyMath

mo ::=
	anyMath

varepsilon ::=
	ε

anyMath ::=
	(α | string)*

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