State Transition Logic For A One Input Fsm