Browsable PathExp 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/path/abstract/extracted
Source used for this grammar: David Touzet, PathExp 1.0, PathExp.ecore, 2005/07/18

Summary

• Total 6 production rules with 6 top alternatives and 34 symbols.
• Vocabulary: 11 = 5 nonterminals + 0 terminals + 6 labels + 0 markers.
• Total 5 nonterminal symbols: 5 defined (String, Element, PathExp, State, Transition), 0 root (—), 2 top (String, Element), 0 bottom (—).
• Total 6 labels: [states], [transitions], [incoming], [outgoing], [source], [target].

Syntax

String ::=
	string

Element ::=
	PathExp

Element ::=
	Transition

PathExp ::=
	[states]::State+ [transitions]::Transition+

State ::=
	[incoming]::Transition+ [outgoing]::Transition+

Transition ::=
	[source]::State [target]::State

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