Browsable LDF Grammar

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

Summary

• Total 37 production rules with 107 top alternatives and 442 symbols.
• Vocabulary: 164 = 38 nonterminals + 0 terminals + 126 labels + 0 markers.
• Total 38 nonterminal symbols: 37 defined (document, titlePage, body, status, generated, figureType, topSection, simpleSection, simpleText, simpleTextElement, simpleFigure, simpleTable, simpleList, frontList, lexicalSection, structuredSection, listOfTerms, tableRow, structuredSectionElement, normative, informative, runnableType, mixedType, 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), 1 top (runnableType), 1 bottom (production ²).
• Total 126 labels: [titlePage], [frontMatter], [lists], [lexicalPart], [core] ², [part], [backMatter], [annex], [body], [number], [author] ⁴, [topic], [version] ², [edition], [status], [date], [ansi], [ecma], [ieee], [iso], [iso/iet], [itu], [ietf], [iec], [oasis], [wsa], [w3c], [unknown], [draft], [candidate], [proposed], [approved], [revised], [obsolete], [withdrawn], [collection], [trial], [errata], [report], [index], [fullgrammar], [listoftables], [listofauthors], [listofcontents], [listofreferences], [PDF], [PostScript], [SVG], [PNG], [GIF], [JPEG], [foreword], [designGoals], [scope], [conformance], [compliance], [compatibility], [notation], [normativeReferences], [documentStructure], [whatsnew], [placeholder] ², [title] ³, [content], [id] ⁵, [empty], [text] ², [figure], [table], [list], [math], [mfenced], [mtext], [msub], [msup], [mrow], [mi], [mo], [varepsilon], [formula], [src], [sample], [shortcaption], [caption], [type], [localfile], [url], [source], [header], [row], [item], [definitions], [abbreviations], [languageOverview], [lineContinuations], [whitespace], [tokens], [preprocessor], [literals], [lexical], [name], [definition], [term], [cell], [references], [section], [subtopic], [key], [data], [value], [synopsis], [description], [syntax], [constraints], [relationship], [semantics], [default], [rationale], [example], [update], [context], [main], [argument], [yields], [language], [reference].

Syntax

document ::=
	[titlePage]::titlePage [frontMatter]::topSection* [lists]::frontList+? [lexicalPart]::lexicalSection+? ([core]::structuredSection+ | [part]::[core]::structuredSection++) [backMatter]::topSection*? [annex]::structuredSection*

titlePage ::=
	([body]::body [number]::integer | [author]::string+) [topic]::string ([version]::string | [edition]::string) [status]::status [date]::string

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

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

generated ::=
	[index]::ε
	[fullgrammar]::ε
	[listoftables]::ε
	[listofauthors]::ε
	[listofcontents]::ε
	[listofreferences]::ε

figureType ::=
	[PDF]::ε
	[PostScript]::ε
	[SVG]::ε
	[PNG]::ε
	[GIF]::ε
	[JPEG]::ε

topSection ::=
	[foreword]::simpleSection
	[designGoals]::simpleSection
	[scope]::simpleSection
	[conformance]::simpleSection
	[compliance]::simpleSection
	[compatibility]::simpleSection
	[notation]::simpleSection
	[normativeReferences]::simpleSection
	[documentStructure]::simpleSection
	[whatsnew]::simpleSection
	[placeholder]::generated

simpleSection ::=
	[title]::string? [author]::string* [content]::simpleText [id]::string?

simpleText ::=
	simpleTextElement+

simpleTextElement ::=
	[empty]::ε
	[text]::mixedType
	[figure]::simpleFigure
	[table]::simpleTable
	[list]::simpleList
	[formula]::([math]::anyMath | [mfenced]::anyMath | [mtext]::anyMath | [msub]::anyMath | [msup]::anyMath | [mrow]::anyMath | [mi]::anyMath | [mo]::anyMath | [varepsilon]::α)+
	[sample]::((α | string)* [src]::string)
	production

simpleFigure ::=
	[shortcaption]::string? [caption]::string [source]::([type]::figureType ([localfile]::string | [url]::string))+ [id]::string?

simpleTable ::=
	[header]::tableRow* [row]::tableRow+

simpleList ::=
	[item]::mixedType+

frontList ::=
	[definitions]::listOfTerms
	[abbreviations]::listOfTerms
	[languageOverview]::listOfTerms

lexicalSection ::=
	[lineContinuations]::simpleSection
	[whitespace]::simpleSection
	[tokens]::simpleSection
	[preprocessor]::simpleSection
	[literals]::simpleSection
	[lexical]::simpleSection

structuredSection ::=
	[title]::string [author]::string* structuredSectionElement+ [id]::string?

listOfTerms ::=
	[title]::string? [author]::string* [term]::([name]::string [definition]::simpleText)+ [id]::string?

tableRow ::=
	[cell]::simpleText+

structuredSectionElement ::=
	[placeholder]::generated
	normative
	informative
	production
	[references]::simpleList
	[section]::simpleSection
	[subtopic]::structuredSection
	[value]::([key]::string [data]::string)

normative ::=
	[synopsis]::simpleSection
	[description]::simpleSection
	[syntax]::simpleSection
	[constraints]::simpleSection
	[relationship]::simpleSection
	[semantics]::simpleSection
	[default]::simpleSection

informative ::=
	[rationale]::simpleSection
	[example]::simpleSection
	[update]::simpleSection

runnableType ::=
	[context]::string [main]::string [argument]::string* [yields]::string [language]::string [version]::string? [id]::string?

mixedType ::=
	(α | string)*

formula ::=
	α+

keyword ::=
	string

code ::=
	string

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