public TransitionEvent(AutomataAction act){ automata = act; }
public StateEvent(AutomataAction act){ automata = act; }