Browsable LDF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: doc/ldf/readable/extracted
Source used for this grammar: Vadim Zaytsev, Software Language Processing Suite, LDF, shared/xsd/ldf.xsd, 2008–2011, readable version

Summary

• Total 28 production rules with 104 top alternatives and 355 symbols.
• Vocabulary: 130 = 31 nonterminals + 0 terminals + 99 labels + 0 markers.
• Total 31 nonterminal symbols: 28 defined (document, document-metadata, body, person, status, version-or-edition, named-link, part, part-metadata, part-role, section, section-metadata, section-role, type, section-structure, content-content, mixed, list, production, label, nonterminal, expression, value, terminal, selector, subsection, subsection-metadata, subsection-role), 1 root (document), 0 top (—), 3 bottom (ID ³, timestamp, anyURI).
• Total 99 labels: [number], [author] ⁴, [topic], [previous], [date], [ansi], [ecma], [ieee], [iso], [iso/iet], [itu], [iec], [ietf], [oasis], [omg], [wsa], [w3c], [name], [affiliation], [email], [unknown], [draft], [candidate], [proposed], [approved], [revised], [obsolete], [withdrawn], [collection], [trial], [errata], [report], [version], [edition], [title] ⁴, [uri], [id] ³, [front-matter], [core-part], [back-matter], [annex], [abstract], [conformance], [compatibility], [design-goals], [document-structure], [foreword], [references], [notation], [scope], [what-is-new], [index], [full-grammar], [list-of-tables], [list-of-authors], [list-of-contents], [list-of-references], [top-section], [lexical-section], [normative], [informative], [content], [placeholder], [para], [list], [item], [label], [nonterminal] ², [epsilon], [empty], [value], [any], [terminal], [selector], [selectable], [marked], [sequence], [choice], [allof], [not], [optional], [plus], [star], [seplistplus], [sepliststar], [int], [string], [synopsis], [description], [syntax], [constraints], [relationship], [semantics], [default], [rationale], [example], [update], [subtopic], [section].

Syntax

document ::=
	document-metadata part+

document-metadata ::=
	body? [number]::string? [author]::person* [topic]::string status version-or-edition [previous]::named-link* [date]::timestamp

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

person ::=
	[name]::string [affiliation]::string? [email]::string?

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

version-or-edition ::=
	[version]::string
	[edition]::string

named-link ::=
	[title]::string version-or-edition? [uri]::anyURI?

part ::=
	part-metadata section+

part-metadata ::=
	[id]::ID? part-role [title]::string? [author]::person*

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

section ::=
	section-metadata section-structure

section-metadata ::=
	[id]::ID? section-role type? [title]::string? [author]::person*

section-role ::=
	[abstract]::ε
	[conformance]::ε
	[compatibility]::ε
	[design-goals]::ε
	[document-structure]::ε
	[foreword]::ε
	[references]::ε
	[notation]::ε
	[scope]::ε
	[what-is-new]::ε
	[index]::ε
	[full-grammar]::ε
	[list-of-tables]::ε
	[list-of-authors]::ε
	[list-of-contents]::ε
	[list-of-references]::ε
	[top-section]::ε
	[lexical-section]::ε

type ::=
	[normative]::ε
	[informative]::ε

section-structure ::=
	[content]::content-content+
	[placeholder]::α
	subsection+

content-content ::=
	[para]::mixed
	[list]::list
	production

mixed ::=
	(α | string)*

list ::=
	[item]::mixed+

production ::=
	[label]::label? [nonterminal]::nonterminal expression

label ::=
	string

nonterminal ::=
	string

expression ::=
	[epsilon]::ε
	[empty]::ε
	[value]::value
	[any]::ε
	[terminal]::terminal
	[nonterminal]::nonterminal
	[selectable]::([selector]::selector expression)
	[marked]::expression
	[sequence]::expression+
	[choice]::expression+
	[allof]::expression+
	[not]::expression
	[optional]::expression
	[plus]::expression
	[star]::expression
	[seplistplus]::(expression expression)
	[sepliststar]::(expression expression)

value ::=
	[int]::ε
	[string]::ε

terminal ::=
	string

selector ::=
	string

subsection ::=
	subsection-metadata section-structure

subsection-metadata ::=
	[id]::ID? subsection-role type? [title]::string? [author]::person*

subsection-role ::=
	[synopsis]::ε
	[description]::ε
	[syntax]::ε
	[constraints]::ε
	[relationship]::ε
	[semantics]::ε
	[default]::ε
	[rationale]::ε
	[example]::ε
	[update]::ε
	[subtopic]::ε
	[section]::ε

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