Browsable Hybrid Automaton Grammar

CC-BY

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/hybrid/extracted
Source used for this grammar: Youssef Srour, HybridAutomata.ecore, 2006/07/13

Summary

Syntax

String ::=
	string
Boolean ::=
	"true"
	"false"
Integer ::=
	integer
FiniteTransition ::=
	[trigger]::String [guard]::String [action]::String
FiniteState ::=
	[name]::String [position]::String [isInit]::Boolean

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