Browsable LLL Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/metasyntax/lll-kort/extracted
Source used for this grammar: Jan Kort, The LLL grammar format, May 2003, GDK Reference Manual, Chapter 3, page 3

Summary

• Total 9 production rules with 15 top alternatives and 54 symbols.
• Vocabulary: 22 = 11 nonterminals + 11 terminals + 0 labels + 0 markers.
• Total 11 nonterminal symbols: 9 defined (specification, rule, disjunction, conjunction, term, basis, repetition, alternation, group), 1 root (specification), 0 top (—), 2 bottom (ident ², literal).
• Total 11 terminal symbols: 0 keywords (—), 0 letters (—), 0 numerics (—), 10 signs (":", ";", "|", "+", "*", "?", "{", "}", "(", ")").

Syntax

specification ::=
	rule+

rule ::=
	ident ":" disjunction ";"

disjunction ::=
	{conjunction "|"}+

conjunction ::=
	term+

term ::=
	basis repetition?

basis ::=
	ident
	literal
	"%epsilon"
	alternation
	group

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

alternation ::=
	"{" basis basis "}" repetition

group ::=
	"(" disjunction ")"

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