$[10$ marks total$]$ Let $M_1=(\{A,C,B\},\{x,y,z\},{}_1,A,\{C\}),$ where ${}_1$ is described by

Let $M_2=(\{E,F\},\{x,y,z\},{}_2,E,\{F\}),$ where ${}_2$ is described by

Let $N_3$ be an NFA such that $L(N_3)=L(M_1)L(M_2).$

a$)$ Draw state diagrams for $M_1,M_2,$ and $N_3.(3$ marks$)$

b$)$ Give a formal description of $N_3.(2$ marks$)$

c$)$ Describe $L(M_1),L(M_2),$ and $L(N_3)$ using regular expressions. $(5$ marks$)$

HAND DRAW THE DIAGRAMS. DONT USE AI