Browsable BGF Grammar

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

Summary

• Total 4 production rules with 19 top alternatives and 83 symbols.
• Vocabulary: 34 = 4 nonterminals + 0 terminals + 30 labels + 0 markers.
• Total 4 nonterminal symbols: 4 defined (BGFGrammar, BGFProduction, BGFExpression, BGFValue), 0 root (—), 1 top (BGFGrammar), 0 bottom (—).
• Total 30 labels: [roots], [prods], [grammar], [label], [lhs], [rhs], [production], [epsilon], [empty], [v], [val], [anything], [t] ², [terminal], [nonterminal], [selector], [expr] ⁷, [selectable], [exprs] ², [sequence], [choice], [marked], [optional], [plus], [star], [sep] ², [starsepplus], [starsepstar], [string], [integer].

Syntax

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

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]::BGFExpression*
	[choice]::[exprs]::BGFExpression*
	[marked]::[expr]::BGFExpression
	[optional]::[expr]::BGFExpression
	[plus]::[expr]::BGFExpression
	[star]::[expr]::BGFExpression
	[starsepplus]::([expr]::BGFExpression [sep]::BGFExpression)
	[starsepstar]::([expr]::BGFExpression [sep]::BGFExpression)

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

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