Browsable BGF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: meta/syntax/bgf/v5.4-adt/extracted
Source used for this grammar: Vadim Zaytsev, Software Language Processing Suite (SLPS), shared/rascal/src/syntax/BGF.rsc, 5 June 2013 [Explore]

Summary

Total 9 production rules with 26 top alternatives and 113 symbols.
Vocabulary: 41 = 9 nonterminals + 0 terminals + 32 labels + 0 markers.
Total 9 nonterminal symbols: 9 defined (SGrammar, BGFProdList, BGFProdSet, BGFExprList, BGFExprSet, BGFGrammar, BGFProduction, BGFExpression, BGFValue), 0 root (—), 3 top (SGrammar, BGFExprSet, BGFGrammar), 0 bottom (—).
Total 32 labels: [roots]², [prods]², [grammar], [label], [lhs], [rhs], [production], [epsilon], [empty], [v], [val], [anything], [t]², [terminal], [nonterminal], [selector], [expr]⁸, [selectable], [exprs]³, [sequence], [choice], [allof], [marked], [optional], [not], [plus], [star], [sep]², [seplistplus], [sepliststar], [string], [integer].

Syntax

SGrammar ::=
	[roots]::string* [prods]::(string BGFProdSet)*

BGFProdList ::=
	BGFProduction*

BGFProdSet ::=
	BGFProduction*

BGFExprList ::=
	BGFExpression*

BGFExprSet ::=
	BGFExpression*

BGFGrammar ::=
	[grammar]::([roots]::string* [prods]::BGFProdList)

BGFProduction ::=
	[production]::([label]::string [lhs]::string [rhs]::BGFExpression)

BGFExpression ::=
	[epsilon]::ε
	[empty]::ε
	[val]::[v]::BGFValue
	[anything]::ε
	[terminal]::[t]::string
	[nonterminal]::[t]::string
	[selectable]::([selector]::string [expr]::BGFExpression)
	[sequence]::[exprs]::BGFExprList
	[choice]::[exprs]::BGFExprList
	[allof]::[exprs]::BGFExprList
	[marked]::[expr]::BGFExpression
	[optional]::[expr]::BGFExpression
	[not]::[expr]::BGFExpression
	[plus]::[expr]::BGFExpression
	[star]::[expr]::BGFExpression
	[seplistplus]::([expr]::BGFExpression [sep]::BGFExpression)
	[sepliststar]::([expr]::BGFExpression [sep]::BGFExpression)

BGFValue ::=
	[string]::ε
	[integer]::ε

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