Definition Of Finite State Machine