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 first10 reactions. If not, explain where the problem is.(c) Show the composition machine, assuming that the composition has no inputand that the only output is y.