Browsable PathExp 1.0 Grammar

CC-BY

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

Syntax

String ::=
	string
Element ::=
	PathExp
Element ::=
	Transition
PathExp ::=
	[states]::State+ [transitions]::Transition+
State ::=
	[incoming]::Transition+ [outgoing]::Transition+
Transition ::=
	[source]::State [target]::State

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