Consider the following state machine in a synchronous feedback composition: (a) Is it well-formed? Is it constructive?

Consider the following state machine in a synchronous feedback composition:

(a) Is it well-formed? Is it constructive?

(b) If it is well-formed and constructive, then find the output symbols for the first

10 reactions. If not, explain where the problem is.

(c) Show the composition machine, assuming that the composition has no input

and that the only output is y.