A sequential circuit with two $D$ flip $-$ flops A and $B,$ two inputs, $x$ and $y$; and one output $z$ is specified by the following

next $-$ state and output equations

$A(t+1)=x{y}^{\text{'}}+xB$

$B(t+1)=xA+x{B}^{\text{'}}$

$z=A$

Please HAND draw the corresponding state diagram. I need a visual aid that is not AI generated.