Browsable LDF Grammar

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

Summary

• Total 8 production rules with 8 top alternatives and 72 symbols.
• Vocabulary: 23 = 8 nonterminals + 0 terminals + 15 labels + 0 markers.
• Total 8 nonterminal symbols: 8 defined (document, contentType, sampleType, runnableType, sectionType, mixedType, reference, tail), 3 root (document, reference, tail), 0 top (—), 0 bottom (—).
• Total 15 labels: [title] ², [author], [abstract], [content] ², [text], [language] ², [version] ², [grammar], [sample], [runnable], [section], [context], [main], [argument], [yields].

Syntax

document ::=
	[title]::string [author]::string [abstract]::string [content]::contentType

contentType ::=
	([text]::mixedType | [grammar]::(α [language]::string [version]::string?) | [sample]::sampleType | [runnable]::runnableType)* [section]::sectionType*

sampleType ::=
	ε

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

sectionType ::=
	[title]::string [content]::contentType

mixedType ::=
	(α | string)*

reference ::=
	string

tail ::=
	mixedType

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]