State Diagram For Finite State Machine