L'état q3 est un puits : une fois atteint, la lecture n'en sort plus et le mot sera refusé.

Lire un mot, puis dénombrer le langage sur deux longueurs.

Un mot de longueur $n$ accepté contient deux a et $n - 2$ b. Le choisir revient à choisir les deux positions des a parmi les $n$, ce qui se compte avec un coefficient binomial. Vérifier le résultat en énumérant à la main pour $n = 4$ ne prend pas longtemps, et confirme le raisonnement.