Consider the FSM G = , shown in Figure 10.49, where S = {A,B,C} is the set of states, I = {a,

b, c} is the set of inputs, O = {e, f }

is the set of outputs, A is the initial state, δ : S × I →S is the next-state function, and λ : S × I → O is the output function.

(a) Generate a distinguishing sequence for the FSM, if it exists.

(b) Generate characterizing sequences for the FSM.

(c) Generate UIO sequence(s) for each state of the FSM, if those exist.

(d) Compare the distinguishing sequence with the UIO sequences generated from the FSM. Are there any similarities and/or differences between the two kinds of sequences?