$(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.$

$x$