Slide 1 Lecture 4 Finite State Machine CS6133 Software Specification and Verification Slide 2 2 Finite State Machine Finite state machine (FSM) was designed for expressing…