Explain.$)$ Determine whether the following synchronous model is well formed and constructive:

$($b$)$ For the model in part $($a$),$ give the semantics by giving an equivalent flat state

machine with no inputs and two outputs.