Problem $2$

Let M be the following DFA.

a$)$ Use a configuration trace to show that how that $M$ accepts $w=$abba

b$)$ Use a configuration trace to show that M rejects $w=bbbb$

c$)$ Does $L(M)=\{ab,ba{\}}^{*}?$ Justify your answer.