Browsable ΞBGF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: transform/cbgf/adt/extracted
Source used for this grammar: Vadim Zaytsev, Software Language Processing Suite, ΞBGF, language::CBGF, 2012 [Explore]

Summary

• Total 2 production rules with 53 top alternatives and 273 symbols.
• Vocabulary: 72 = 5 nonterminals + 0 terminals + 67 labels + 0 markers.
• Total 5 nonterminal symbols: 2 defined (CBGFCommand, CBGFSequence), 1 root (CBGFSequence), 0 top (—), 3 bottom (BGFProduction ³⁸, BGFExpression ¹⁰, XBGFScope ¹⁸).
• Total 67 labels: [p] ²², [abridge_detour], [abstractize_concretize], [addH_removeH], [addV_removeV], [anonymize_deanonymize], [appear_disapper], [chain_unchain], [x] ¹¹, [y] ⁷, [w] ¹⁸, [clone_equate], [xs], [concatT_splitT], [concretize_abstractize], [deanonymize_anonymize], [ps] ⁸, [define_undefine], [designate_unlabel], [detour_abridge], [deyaccify_yaccify], [disappear_appear], [p1] ³, [p2] ³, [downgrade_upgrade], [eliminate_introduce], [equate_clone], [extract_inline], [e1] ⁵, [e2] ⁵, [factor_factor], [fold_unfold], [horizontal_vertical], [inject_project], [inline_extract], [introduce_eliminate], [iterate_assoc], [assoc_iterate], [massage_massage], [narrow_widen], [permute_permute], [project_inject], [ps1], [ps2], [redefine_redefine], [removeH_addH], [removeV_addV], [renameL_renameL], [renameN_renameN], [renameS_renameS], [renameT_renameT], [replace_replace], [xs1], [xs2], [reroot_reroot], [splitN_unite], [ys], [splitT_concatT], [unchain_chain], [undefine_define], [unfold_fold], [unite_splitN], [unlabel_designate], [upgrade_downgrade], [vertical_horizontal], [widen_narrow], [yaccify_deyaccify].

Syntax

CBGFCommand ::=
	[abridge_detour]::[p]::BGFProduction
	[abstractize_concretize]::[p]::BGFProduction
	[addH_removeH]::[p]::BGFProduction
	[addV_removeV]::[p]::BGFProduction
	[anonymize_deanonymize]::[p]::BGFProduction
	[appear_disapper]::[p]::BGFProduction
	[chain_unchain]::[p]::BGFProduction
	[clone_equate]::([x]::string [y]::string [w]::XBGFScope)
	[concatT_splitT]::([y]::string [xs]::string* [w]::XBGFScope)
	[concretize_abstractize]::[p]::BGFProduction
	[deanonymize_anonymize]::[p]::BGFProduction
	[define_undefine]::[ps]::BGFProduction*
	[designate_unlabel]::[p]::BGFProduction
	[detour_abridge]::[p]::BGFProduction
	[deyaccify_yaccify]::[ps]::BGFProduction*
	[disappear_appear]::[p]::BGFProduction
	[downgrade_upgrade]::([p1]::BGFProduction [p2]::BGFProduction)
	[eliminate_introduce]::[ps]::BGFProduction*
	[equate_clone]::([x]::string [y]::string [w]::XBGFScope)
	[extract_inline]::([p]::BGFProduction [w]::XBGFScope)
	[factor_factor]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[fold_unfold]::([x]::string [w]::XBGFScope)
	[horizontal_vertical]::[w]::XBGFScope
	[inject_project]::[p]::BGFProduction
	[inline_extract]::([p]::BGFProduction [w]::XBGFScope)
	[introduce_eliminate]::[ps]::BGFProduction*
	[iterate_assoc]::[p]::BGFProduction
	[assoc_iterate]::[p]::BGFProduction
	[massage_massage]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[narrow_widen]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[permute_permute]::([p1]::BGFProduction [p2]::BGFProduction)
	[project_inject]::[p]::BGFProduction
	[redefine_redefine]::([ps1]::BGFProduction* [ps2]::BGFProduction*)
	[removeH_addH]::[p]::BGFProduction
	[removeV_addV]::[p]::BGFProduction
	[renameL_renameL]::([x]::string [y]::string)
	[renameN_renameN]::([x]::string [y]::string)
	[renameS_renameS]::([x]::string [y]::string [w]::XBGFScope)
	[renameT_renameT]::([x]::string [y]::string)
	[replace_replace]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[reroot_reroot]::([xs1]::string* [xs2]::string*)
	[splitN_unite]::([x]::string [ps]::BGFProduction* [w]::XBGFScope)
	[splitT_concatT]::([x]::string [ys]::string* [w]::XBGFScope)
	[unchain_chain]::[p]::BGFProduction
	[undefine_define]::[ps]::BGFProduction*
	[unfold_fold]::([x]::string [w]::XBGFScope)
	[unite_splitN]::([x]::string [ps]::BGFProduction* [w]::XBGFScope)
	[unlabel_designate]::[p]::BGFProduction
	[upgrade_downgrade]::([p1]::BGFProduction [p2]::BGFProduction)
	[vertical_horizontal]::[w]::XBGFScope
	[widen_narrow]::([e1]::BGFExpression [e2]::BGFExpression [w]::XBGFScope)
	[yaccify_deyaccify]::[ps]::BGFProduction*

CBGFSequence ::=
	CBGFCommand*

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