Browsable YACC Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/metasyntax/yacc-txl/extracted
Source used for this grammar: C. Xie, Yacc to TXL grammar converter, April 1994

Summary

• Total 26 production rules with 45 top alternatives and 216 symbols.
• Vocabulary: 54 = 37 nonterminals + 17 terminals + 0 labels + 0 markers.
• Total 37 nonterminal symbols: 26 defined (yac_id, dot_id, yac_tokenDefinition, yac_tokdef, endSection, yac_literal, bar_yac_literals, productionDefinition, literalsAndTypes, barLiteralsAndTypes, literalOrType, prec, Ccode, Ccode_or_token, type, plusOrStar, yac_idOrQuotedLiteral, literal, quotedLiteral, unquotedLiteral, program, Yacc_Txl_Grammar, Cdefinitions, tokenDefinitions, tokenDefinition, productionDefinitions), 1 root (program), 0 top (—), 11 bottom (key, SP ¹³, token ², stringlit, IN ³, yac_keyword ², NL ¹⁵, id ³, EX ³, number, charlit ³).
• Total 17 terminal symbols: 5 keywords ("define" ⁴, "end" ², "opt", "repeat", "list"), 0 letters (—), 0 numerics (—), 12 signs (".", "%%", "|" ², ":", ";", "{", "}", "[" ⁴, "]" ⁴, "+", "*", "'").

Syntax

yac_id ::=
	id dot_id*

dot_id ::=
	"." id

yac_tokenDefinition ::=
	yac_keyword yac_tokdef+ NL

yac_tokdef ::=
	id
	charlit

endSection ::=
	"%%" NL NL

yac_literal ::=
	yac_id
	charlit

bar_yac_literals ::=
	"|" SP yac_literal* NL

productionDefinition ::=
	yac_id ":" NL IN SP SP literalsAndTypes barLiteralsAndTypes* ";"? NL EX
	"define" yac_id NL IN SP SP literalsAndTypes NL barLiteralsAndTypes* EX "end" "define" NL NL

literalsAndTypes ::=
	literalOrType*

barLiteralsAndTypes ::=
	"|" SP literalsAndTypes NL
	SP bar_yac_literals NL

literalOrType ::=
	literal
	type
	prec
	Ccode

prec ::=
	yac_keyword yac_id

Ccode ::=
	"{" Ccode_or_token* "}"

Ccode_or_token ::=
	Ccode
	token

type ::=
	SP "[" yac_id "]"
	SP "[" "opt" yac_idOrQuotedLiteral "]"
	SP "[" "repeat" yac_idOrQuotedLiteral plusOrStar? "]"
	SP "[" "list" yac_idOrQuotedLiteral plusOrStar? "]"

plusOrStar ::=
	"+"
	"*"

yac_idOrQuotedLiteral ::=
	yac_id
	quotedLiteral

literal ::=
	quotedLiteral
	unquotedLiteral

quotedLiteral ::=
	SP "'" unquotedLiteral SP

unquotedLiteral ::=
	yac_id
	charlit
	stringlit
	number
	key

program ::=
	Yacc_Txl_Grammar

Yacc_Txl_Grammar ::=
	tokenDefinitions productionDefinitions Cdefinitions

Cdefinitions ::=
	endSection token*

tokenDefinitions ::=
	tokenDefinition* endSection?

tokenDefinition ::=
	yac_tokenDefinition
	"define" yac_id NL IN yac_tokenDefinition EX "end" "define" NL NL

productionDefinitions ::=
	productionDefinition*

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