Browsable Box Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/metasyntax/box-sdf/extracted
Source used for this grammar: Jurgen Vinju, Paul Klint, box/syntax/*.sdf, February 2006 – March 2007

Summary

• Total 47 production rules with 47 top alternatives and 243 symbols.
• Vocabulary: 65 = 17 nonterminals + 43 terminals + 5 labels + 0 markers.
• Total 17 nonterminal symbols: 12 defined (BoxOperator, AlignmentOption, AlignmentOptions, SpaceSymbol, SpaceOption, Box, Context, FontValue, FontOption, FontParam, FontOperator, GroupOption), 0 root (—), 2 top (Context, FontOperator), 5 bottom (SOptions, BoxString, StrCon ⁵, FontId, NatCon ³).
• Total 43 terminal symbols: 26 keywords ("hs", "vs", "is", "ts", "HV", "HOV", "WD", "COMM" ², "LBL", "REF", "CNT", "fn", "fm", "se", "sh", "sz", "cl", "KW", "VAR", "NUM", "MATH", "ESC", "STRING", "gs", "op", "SL"), 11 letters ("A", "R", "l", "c", "r", "H" ², "V" ², "I", "F", "G", "O"), 0 numerics (—), 6 signs ("(", "," ⁴, ")", "=" ⁴, "[" ⁵, "]" ⁵).
• Total 5 labels: [alignments], [options] ⁹, [operator], [list], [group-options] ².

Syntax

BoxOperator ::=
	"A" [alignments]::AlignmentOptions [options]::SpaceOption*

BoxOperator ::=
	"R"

AlignmentOption ::=
	"l" [options]::SpaceOption*

AlignmentOption ::=
	"c" [options]::SpaceOption*

AlignmentOption ::=
	"r" [options]::SpaceOption*

AlignmentOptions ::=
	"(" (AlignmentOption ("," AlignmentOption)*)? ")"

SpaceSymbol ::=
	"hs"

SpaceSymbol ::=
	"vs"

SpaceSymbol ::=
	"is"

SpaceSymbol ::=
	"ts"

SpaceOption ::=
	SpaceSymbol "=" NatCon

Box ::=
	StrCon

Box ::=
	[operator]::BoxOperator "[" [list]::Box* "]"

BoxOperator ::=
	"H" [options]::SpaceOption*

BoxOperator ::=
	"V" [options]::SpaceOption*

BoxOperator ::=
	"HV" [options]::SpaceOption*

BoxOperator ::=
	"HOV" [options]::SpaceOption*

BoxOperator ::=
	"I" [options]::SpaceOption*

BoxOperator ::=
	"WD"

BoxOperator ::=
	"COMM"

Context ::=
	"H"

Context ::=
	"V"

Box ::=
	"LBL" "[" StrCon "," Box "]"

Box ::=
	"REF" "[" StrCon "," Box "]"

Box ::=
	"CNT" "[" StrCon "," StrCon "]"

FontValue ::=
	NatCon

FontValue ::=
	FontId

FontOption ::=
	FontParam "=" FontValue

BoxOperator ::=
	"F" FontOption*

FontParam ::=
	"fn"

FontParam ::=
	"fm"

FontParam ::=
	"se"

FontParam ::=
	"sh"

FontParam ::=
	"sz"

FontParam ::=
	"cl"

FontOperator ::=
	"KW"

FontOperator ::=
	"VAR"

FontOperator ::=
	"NUM"

FontOperator ::=
	"MATH"

FontOperator ::=
	"ESC"

FontOperator ::=
	"COMM"

FontOperator ::=
	"STRING"

GroupOption ::=
	"gs" "=" NatCon

GroupOption ::=
	"op" "=" BoxOperator

BoxOperator ::=
	"G" [group-options]::GroupOption*

BoxOperator ::=
	"SL" [group-options]::GroupOption*

Box ::=
	"O" SOptions "[" Box BoxString Box "]"

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