Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/standard/dots/extracted
Source used for this grammar: Lom Hillah, RELAX NG implementation of Dots grammar, dots.rng, July 2008 [Download]

Summary

• Total 4 production rules with 4 top alternatives and 14 symbols.
• Vocabulary: 6 = 4 nonterminals + 0 terminals + 2 labels + 0 markers.
• Total 4 nonterminal symbols: 4 defined (BuiltInSort, BuiltInConstant, Dot, DotConstant), 0 root (—), 2 top (BuiltInSort, BuiltInConstant), 0 bottom (—).
• Total 2 labels: [dot], [dotconstant].

Syntax

BuiltInSort ::=
	Dot

BuiltInConstant ::=
	DotConstant

Dot ::=
	[dot]::ε

DotConstant ::=
	[dotconstant]::ε

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