Assuming the memory units in the circuit in Figure $1$ are single$-$edge flip$-$flops in positive logic:

a$.[5$ marks$]($Easy$)$ Is the circuit based on the Mealy or Moore model? Justify your answer.

b$.[5$ marks$]($Moderate$)$ Draw the state $($transition$)$ diagram.

c$.[5$marks$]($Moderate$)$ Derive the state table.