Browsable Dot Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/graphical/dot/rascal/concrete/extracted
Source used for this grammar: Bert Lisser, lang::dot::syntax::Dot, 2011–2012 [GitHub]

Summary

• Total 30 production rules with 30 top alternatives and 142 symbols.
• Vocabulary: 37 = 21 nonterminals + 16 terminals + 0 labels + 0 markers.
• Total 21 nonterminal symbols: 19 defined (Nod, EdgeRhs, Port, AttrList0, Subgraph, Graph, AttrList, Statement, StatementOptional, NodeStatement, StatementList, Edg, DOT, AttrTag, EdgeStatement, AttrStatement, EdgeOp, NodeId, DotAttr), 0 root (—), 1 top (DOT), 2 bottom (Id ¹², LAYOUT).
• Total 16 terminal symbols: 5 keywords ("subgraph", "digraph", "graph" ², "node", "edge"), 0 letters (—), 0 numerics (—), 10 signs (":", "[", "]", "{" ², "}" ², "=" ³, ";", "->", "--", ",").

Syntax

Nod ::=
	Subgraph

Nod ::=
	NodeId

EdgeRhs ::=
	Edg+

Port ::=
	":" Id Id?

AttrList0 ::=
	"[" DotAttr* "]"

Subgraph ::=
	("subgraph" Id?)? "{" StatementList "}"

Graph ::=
	"digraph"

Graph ::=
	AttrTag

Graph ::=
	"graph"

AttrList ::=
	AttrList0*

Statement ::=
	AttrStatement

Statement ::=
	EdgeStatement

Statement ::=
	NodeStatement

Statement ::=
	Id "=" Id

StatementOptional ::=
	Statement ";"?

NodeStatement ::=
	Nod AttrList

StatementList ::=
	StatementOptional*

Edg ::=
	EdgeOp Nod

DOT ::=
	LAYOUT* Graph Id "{" StatementList "}" "\n"?

AttrTag ::=
	"node"

AttrTag ::=
	"graph"

AttrTag ::=
	"edge"

EdgeStatement ::=
	Nod EdgeRhs AttrList

AttrStatement ::=
	AttrTag AttrList

EdgeOp ::=
	"->"

EdgeOp ::=
	"--"

NodeId ::=
	Id Port

NodeId ::=
	Id

DotAttr ::=
	Id "=" Id

DotAttr ::=
	Id "=" Id ","

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