Consider the following state machine in a synchronous feedback composition in Figure 2. (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. input:x: (1,2,3) output:y: (1,2,3) true/2 true/3 (x - 2)/2 91 42 (x = 1)/1 (x = 3)/3 true/1 Figure 2