Browsable LDF Grammar

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

Summary

• Total 40 production rules with 104 top alternatives and 415 symbols.
• Vocabulary: 156 = 42 nonterminals + 0 terminals + 114 labels + 0 markers.
• Total 42 nonterminal symbols: 40 defined (reference, sample, runnable, tail, document, titlePage, body, status, generated, frontSection, 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 114 labels: [titlePage], [placeholder] ², [frontMatter], [lists], [lexicalPart], [core], [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], [title] ³, [content], [id] ⁵, [empty], [text] ², [figure], [table], [list], [math], [mfenced], [mtext], [msub], [msup], [mrow], [mi], [mo], [varepsilon], [formula], [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 [placeholder]::generated* [frontMatter]::frontSection+ [lists]::frontList+? [lexicalPart]::lexicalSection+? [core]::structuredSection+ [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]::ε

frontSection ::=
	[foreword]::simpleSection
	[designGoals]::simpleSection
	[scope]::simpleSection
	[conformance]::simpleSection
	[compliance]::simpleSection
	[compatibility]::simpleSection
	[notation]::simpleSection
	[normativeReferences]::simpleSection
	[documentStructure]::simpleSection
	[whatsnew]::simpleSection

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