We will have four states: $q_0$, $q_1$, $q_2$, and $q_3$. $q_0$ is the initial state where no $a$ has been read. $q_1$ is the state where exactly one $a$ has been read. $q_2$ is the state where exactly two $a$'s have been read. $q_3$ is the state where more than
Show more…