Browsable LDF Grammar

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

Summary

• Total 40 production rules with 105 top alternatives and 430 symbols.
• Vocabulary: 159 = 42 nonterminals + 0 terminals + 117 labels + 0 markers.
• Total 42 nonterminal symbols: 40 defined (reference, sample, runnable, tail, document, titlePage, body, status, generated, 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), 18 root (reference, sample, runnable, tail, document, formula, keyword, code, link, math, mfenced, mtext, msub, msup, mrow, mi, mo, varepsilon), 0 top (—), 2 bottom (production ², sampleType).
• Total 117 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], [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], [caption], [type], [file], [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

reference ::=
	string

sample ::=
	sampleType

runnable ::=
	runnableType

tail ::=
	mixedType

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]::ε

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 ::=
	[caption]::string [type]::string [file]::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. [↑]