Browsable LLL Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/metasyntax/lll-ldta/extracted
Source used for this grammar: Jan Kort, Ralf Lämmel, Chris Verhoef, The LLL grammar format, April 2002, GDK System Demo, page 2

Summary

• Total 8 production rules with 11 top alternatives and 43 symbols.
• Vocabulary: 16 = 10 nonterminals + 6 terminals + 0 labels + 0 markers.
• Total 10 nonterminal symbols: 8 defined (grammar, rule, alts, alts-tail, alt, term, basis, repetition), 1 root (grammar), 0 top (—), 2 bottom (sort ², literal).
• Total 6 terminal symbols: 0 keywords (—), 0 letters (—), 0 numerics (—), 6 signs (":", ";", "|", "*", "+", "?").

Syntax

grammar ::=
	rule+

rule ::=
	sort ":" alts ";"

alts ::=
	alt alts-tail*

alts-tail ::=
	"|" alt

alt ::=
	term*

term ::=
	basis repetition?

basis ::=
	literal
	sort

repetition ::=
	"*"
	"+"
	"?"

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