For semantics 2 in Section 5.1.2, give the five tuple for a single machine representing the composition C,
(StatesC; InputsC;OutputsC;updateC; initialStateC)
for the side-by-side asynchronous composition of two state machines A and B. Your answer should be in terms of the five-tuple definitions for A and B,
(StatesA; InputsA;OutputsA;updateA; initialStateA)
and
(StatesB; InputsB;OutputsB;updateB; initialStateB)