Browsable BGF Grammar

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

Summary

• Total 6 production rules with 23 top alternatives and 94 symbols.
• Vocabulary: 38 = 6 nonterminals + 0 terminals + 32 labels + 0 markers.
• Total 6 nonterminal symbols: 6 defined (BGFProdList, BGFExprList, BGFGrammar, BGFProduction, BGFExpression, BGFValue), 0 root (—), 1 top (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

BGFProdList ::=
	BGFProduction*

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