Browsable BGF Grammar

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

Summary

• Total 3 production rules with 18 top alternatives and 73 symbols.
• Vocabulary: 30 = 3 nonterminals + 0 terminals + 27 labels + 0 markers.
• Total 3 nonterminal symbols: 3 defined (BGFProduction, BGFExpression, BGFValue), 0 root (—), 1 top (BGFProduction), 0 bottom (—).
• Total 27 labels: [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

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