$(20$ points$)$ Consider the following two sequential hardware circuits:

$($a$)$ Give the transition systems of both hardware circuits.

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

these transition systems. Assume that the initial values of the registers are $r1=0$ and

$r2=1.$