Browsable XBGF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: transform/xbgf/adt/extracted
Source used for this grammar: Vadim Zaytsev, Software Language Processing Suite, XBGF, language::XBGF, 2013 [Explore]

Summary

• Total 3 production rules with 67 top alternatives and 299 symbols.
• Vocabulary: 87 = 5 nonterminals + 0 terminals + 82 labels + 0 markers.
• Total 5 nonterminal symbols: 3 defined (XBGFSequence, XBGFCommand, XBGFScope), 1 root (XBGFSequence), 0 top (—), 2 bottom (BGFProduction ³³, BGFExpression ¹⁰).
• Total 82 labels: [p] ²³, [abridge], [abstractize], [addH], [addV], [addC], [anonymize], [appear], [bypass], [chain], [x] ¹⁷, [y] ⁸, [w] ¹⁶, [clone], [xs] ³, [concatT], [concretize], [deanonymize], [ps] ⁶, [define], [designate], [detour], [deyaccify], [disappear], [distribute], [p1] ², [p2] ², [downgrade], [eliminate], [equate], [extract], [e1] ⁵, [e2] ⁵, [factor], [fold], [horizontal], [importG], [inject], [inline], [introduce], [iterate], [lassoc], [massage], [narrow], [permute], [project], [rassoc], [redefine], [removeH], [removeV], [renameL], [renameN], [renameS], [renameT], [replace], [reroot], [splitN], [ys], [splitT], [unchain], [undefine], [unfold], [unite], [unlabel], [upgrade], [vertical], [widen], [yaccify], [steps], [atomic], [a], [strip], [globally], [nowhere], [l] ², [inlabel], [notinlabel], [innt], [notinnt], [w1], [w2], [comboscope].

Syntax

XBGFSequence ::=
	XBGFCommand*

XBGFCommand ::=
	[abridge]::[p]::BGFProduction
	[abstractize]::[p]::BGFProduction
	[addH]::[p]::BGFProduction
	[addV]::[p]::BGFProduction
	[addC]::[p]::BGFProduction
	[anonymize]::[p]::BGFProduction
	[appear]::[p]::BGFProduction
	[bypass]::ε
	[chain]::[p]::BGFProduction
	[clone]::([x]::string [y]::string [w]::XBGFScope)
	[concatT]::([xs]::string* [y]::string [w]::XBGFScope)
	[concretize]::[p]::BGFProduction
	[deanonymize]::[p]::BGFProduction
	[define]::[ps]::BGFProduction*
	[designate]::[p]::BGFProduction
	[detour]::[p]::BGFProduction
	[deyaccify]::[x]::string
	[disappear]::[p]::BGFProduction
	[distribute]::[w]::XBGFScope
	[downgrade]::([p1]::BGFProduction [p2]::BGFProduction)
	[eliminate]::[x]::string
	[equate]::([x]::string [y]::string)
	[extract]::([p]::BGFProduction [w]::XBGFScope)
	[factor]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[fold]::([x]::string [w]::XBGFScope)
	[horizontal]::[w]::XBGFScope
	[importG]::[ps]::BGFProduction*
	[inject]::[p]::BGFProduction
	[inline]::[x]::string
	[introduce]::[ps]::BGFProduction*
	[iterate]::[p]::BGFProduction
	[lassoc]::[p]::BGFProduction
	[massage]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[narrow]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[permute]::[p]::BGFProduction
	[project]::[p]::BGFProduction
	[rassoc]::[p]::BGFProduction
	[redefine]::[ps]::BGFProduction*
	[removeH]::[p]::BGFProduction
	[removeV]::[p]::BGFProduction
	[renameL]::([x]::string [y]::string)
	[renameN]::([x]::string [y]::string)
	[renameS]::([x]::string [y]::string [w]::XBGFScope)
	[renameT]::([x]::string [y]::string)
	[replace]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[reroot]::[xs]::string*
	[splitN]::([x]::string [ps]::BGFProduction* [w]::XBGFScope)
	[splitT]::([x]::string [ys]::string* [w]::XBGFScope)
	[unchain]::[p]::BGFProduction
	[undefine]::[xs]::string*
	[unfold]::([x]::string [w]::XBGFScope)
	[unite]::([x]::string [y]::string)
	[unlabel]::[x]::string
	[upgrade]::([p1]::BGFProduction [p2]::BGFProduction)
	[vertical]::[w]::XBGFScope
	[widen]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[yaccify]::[ps]::BGFProduction*
	[atomic]::[steps]::XBGFCommand*
	[strip]::[a]::string

XBGFScope ::=
	[globally]::ε
	[nowhere]::ε
	[inlabel]::[l]::string
	[notinlabel]::[l]::string
	[innt]::[x]::string
	[notinnt]::[x]::string
	[comboscope]::([w1]::XBGFScope [w2]::XBGFScope)

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