Find CACC tests for each transition from the Active state (including the transition from Active to Active).

Posted: January 7th, 2022

Consider the following deterministic finite state machine:

(a) Draw the finite state machine.

(b) This machine does not specify which conditions cause a state to

transition back to itself. However, these conditions can be

derived from the existing conditions. Derive the conditions

under which each state will transition back to itself.

(c) Find CACC tests for each transition from the Active state

(including the transition from Active to Active).