/* * A simple State Machine example. */ input signal x input signal y output signal z state State1 set z = false if x == true goto State2 end state State2 if x == false and y == true goto State1 end