Browsable BTF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: meta/syntax/terms/btf/extracted
Source used for this grammar: Ralf Lämmel, Software Language Processing Suite (SLPS), shared/xsd/btf.xsd, 2008 [Explore]

Summary

• Total 10 production rules with 37 top alternatives and 128 symbols.
• Vocabulary: 32 = 10 nonterminals + 0 terminals + 22 labels + 0 markers.
• Total 10 nonterminal symbols: 10 defined (root, grammar, nonterminal, production, label, expression, value, terminal, selector, tree), 1 root (root), 0 top (—), 0 bottom (—).
• Total 22 labels: [root], [label], [nonterminal] ³, [epsilon] ², [empty], [value] ², [any] ², [terminal] ², [selector] ², [selectable] ², [marked], [sequence] ², [choice] ², [allof], [not], [optional] ², [plus] ², [star] ², [seplistplus], [sepliststar], [int] ², [string] ².

Syntax

root ::=
	grammar tree

grammar ::=
	[root]::nonterminal* production*

nonterminal ::=
	string

production ::=
	[label]::label? [nonterminal]::nonterminal expression

label ::=
	string

expression ::=
	[epsilon]::ε
	[empty]::ε
	[value]::value
	[any]::ε
	[terminal]::terminal
	[nonterminal]::nonterminal
	[selectable]::([selector]::selector expression)
	[marked]::expression
	[sequence]::expression+
	[choice]::expression+
	[allof]::expression+
	[not]::expression
	[optional]::expression
	[plus]::expression
	[star]::expression
	[seplistplus]::(expression expression)
	[sepliststar]::(expression expression)

value ::=
	[int]::ε
	[string]::ε

terminal ::=
	string

selector ::=
	string

tree ::=
	[epsilon]::ε
	[any]::α
	[terminal]::terminal
	[nonterminal]::(production tree)
	[selectable]::([selector]::selector tree)
	[value]::([int]::integer | [string]::string)
	[sequence]::tree*
	[choice]::(expression tree)
	[optional]::tree?
	[plus]::tree+
	[star]::tree*

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