state transition system ** state transition systems ** [Finite State Machine]