Browsable YACC Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/metasyntax/yacc-sdf/extracted
Source used for this grammar: Paul Klint, YACC.sdf, 28 March 2007

Summary

• Total 6 production rules with 12 top alternatives and 63 symbols.
• Vocabulary: 23 = 13 nonterminals + 10 terminals + 0 labels + 0 markers.
• Total 13 nonterminal symbols: 6 defined (Grammar, Yacc-declarations, Yacc-declaration, Grammar-rules, Rule, Expression), 1 root (Grammar), 0 top (—), 7 bottom (Terminal ⁴, String, C-code, Extra-C-code, Literal ², NonTerminal ², C-declarations).
• Total 10 terminal symbols: 0 keywords (—), 0 letters (—), 0 numerics (—), 4 signs ("%%" ², ":", "|", ";").

Syntax

Grammar ::=
	C-declarations Yacc-declarations "%%" Grammar-rules "%%" Extra-C-code

Yacc-declarations ::=
	Yacc-declaration*

Yacc-declaration ::=
	("%token" | "%left" | "%right" | "%nonassoc") (Terminal | Literal)+ String?
	"%start" Terminal

Grammar-rules ::=
	Rule*

Rule ::=
	NonTerminal ":" (Expression? ("|" Expression?)*)? ";"

Expression ::=
	Terminal
	NonTerminal
	Literal
	"%prec" Terminal
	C-code
	Expression Expression

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