Define Finite State Machine