Browsable LDF Grammar

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

Summary

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

Syntax

document ::=
	title-page [content]::part+

title-page ::=
	(body [number]::string)? metainfo status ([version]::string | [edition]::string) previous* [date]::string

body ::=
	[ansi]::ε
	[ecma]::ε
	[ieee]::ε
	[iso]::ε
	[iso/iet]::ε
	[itu]::ε
	[iec]::ε
	[ietf]::ε
	[oasis]::ε
	[omg]::ε
	[wsa]::ε
	[w3c]::ε

status ::=
	[unknown]::ε
	[draft]::ε
	[candidate]::ε
	[proposed]::ε
	[approved]::ε
	[revised]::ε
	[obsolete]::ε
	[withdrawn]::ε
	[collection]::ε
	[trial]::ε
	[errata]::ε
	[report]::ε

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

part ::=
	[role]::part-role metainfo [content]::section+

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

part-role ::=
	[front-matter]::ε
	[core-part]::ε
	[back-matter]::ε
	[annex]::ε

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 ::=
	[role]::simple-section-role metainfo [content]::textual-content

simple-section-role ::=
	[abstract]::ε
	[conformance]::ε
	[compatibility]::ε
	[design-goals]::ε
	[document-structure]::ε
	[foreword]::ε
	[normative-references]::ε
	[notation]::ε
	[scope]::ε
	[what-is-new]::ε

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
	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
	[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 ::=
	[item]::mixed-type+

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

formula ::=
	α+

keyword ::=
	string

code ::=
	string

link ::=
	[text]::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. [↑]