Consider the following sequential hardware circuits:

$($a$)$ Give the transition systems for both hardware circuits. Assume that the initial

values of the registers are $r_1=1$ and $r_2=0.$

$($b$)$ Determine the reachable part of the transition system of the synchronous

product of the transition systems from $($a$).$