Browsable BGF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: meta/syntax/bgf/v5.2-xsd/extracted
Source used for this grammar: Ralf Lämmel, Vadim Zaytsev, Software Language Processing Suite (SLPS), shared/xsd/bgf.xsd, 18 December 2011 [Explore]

Summary

• Total 8 production rules with 25 top alternatives and 83 symbols.
• Vocabulary: 30 = 8 nonterminals + 0 terminals + 22 labels + 0 markers.
• Total 8 nonterminal symbols: 8 defined (grammar, nonterminal, production, label, expression, value, terminal, selector), 1 root (grammar), 0 top (—), 0 bottom (—).
• Total 22 labels: [root], [label], [nonterminal] ², [epsilon], [empty], [value], [any], [terminal], [selector], [selectable], [marked], [sequence], [choice], [allof], [not], [optional], [plus], [star], [seplistplus], [sepliststar], [int], [string].

Syntax

grammar ::=
	[root]::nonterminal* production*

nonterminal ::=
	string

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

label ::=
	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

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