Browsable LDF Grammar

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

Summary

• Total 51 production rules with 130 top alternatives and 533 symbols.
• Vocabulary: 195 = 52 nonterminals + 0 terminals + 143 labels + 0 markers.
• Total 52 nonterminal symbols: 51 defined (document, document-metainfo, body, status, previous, part, part-metainfo, part-role, section, composite-section, placeholder, simple-section, simple-section-metainfo, simple-section-role, lexical-section, lexical-section-metainfo, lexical-section-role, list-section, list-section-metainfo, list-section-role, term, structured-section, structured-section-metainfo, structured-section-element, element-role, normative-role, informative-role, textual-content, text-element, figure, figure-metainfo, figure-source, figure-type, table, table-row, list, mixed-type, formula, keyword, code, link, math, mfenced, mtext, msub, msup, mrow, mi, mo, varepsilon, anyMath), 14 root (document, formula, keyword, code, link, math, mfenced, mtext, msub, msup, mrow, mi, mo, varepsilon), 0 top (—), 1 bottom (production).
• Total 143 labels: [document-metainfo], [part], [body], [number], [author] ⁶, [topic], [status], [version] ², [edition] ², [previous], [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] ², [part-metainfo], [part-role], [id] ⁶, [front-matter], [core-part], [back-matter], [annex], [placeholder] ², [simple-section] ², [lexical-section], [structured-section], [composite-section], [list-section], [index], [full-grammar], [list-of-tables], [list-of-authors], [list-of-contents], [list-of-references], [simple-section-metainfo], [simple-section-content], [simple-section-role], [abstract], [conformance], [compatibility], [design-goals], [document-structure], [foreword], [normative-references] ², [notation], [scope], [what-is-new], [lexical-section-metainfo], [lexical-section-content], [lexical-section-role], [lexical-issue], [line-continuations], [literals], [preprocessor], [tokens], [whitespace], [list-section-metainfo], [term], [list-section-content], [list-section-role], [abbreviations], [definitions], [language-overview], [name], [definition], [structured-section-metainfo], [structured-section-content], [subtopic], [references], [key], [data], [value], [normative], [informative], [specific-section], [synopsis], [description], [syntax], [constraints], [relationship], [semantics], [default], [example], [rationale], [update], [empty], [code], [text] ², [figure], [table], [list], [math], [mfenced], [mtext], [msub], [msup], [mrow], [mi], [mo], [varepsilon], [formula], [source], [sample], [figure-metainfo], [figure-source], [short-caption], [caption], [type], [local-file], [PDF], [PostScript], [SVG], [PNG], [GIF], [JPEG], [header], [row], [table-cell], [item], [reference], [external].

Syntax

document ::=
	[document-metainfo]::document-metainfo [part]::part+

document-metainfo ::=
	([body]::body [number]::string | [author]::string+) [topic]::string [status]::status ([version]::string | [edition]::string) [previous]::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 ::=
	[part-metainfo]::part-metainfo section+

part-metainfo ::=
	[part-role]::part-role [title]::string? [author]::string* [id]::string?

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

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

composite-section ::=
	section+

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

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

simple-section-metainfo ::=
	[simple-section-role]::simple-section-role [title]::string? [author]::string* [id]::string?

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

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

lexical-section-metainfo ::=
	[lexical-section-role]::lexical-section-role [title]::string? [author]::string* [id]::string?

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

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

list-section-metainfo ::=
	[list-section-role]::list-section-role [title]::string? [author]::string* [id]::string?

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

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

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

structured-section-metainfo ::=
	[title]::string [author]::string* [id]::string?

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

element-role ::=
	[normative]::normative-role
	[informative]::informative-role
	[specific-section]::simple-section

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

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

textual-content ::=
	text-element+

text-element ::=
	[empty]::ε
	[code]::string
	[text]::mixed-type
	[figure]::figure
	[table]::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)
	production

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

figure-metainfo ::=
	[short-caption]::string? [caption]::string [id]::string?

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. [↑]