[State 0, Trans] type = Trans trigger1 = trans = alpha = ;ignorehitpause = ;persistent =