Buen día Lautaro,
sí, es así como decís. A la solución le falta ese lazo, que permite aceptar aquellas tiras que "se quedan" en e1 al llegar una "a".
Como también bien comentás, al faltar ese lazo en el autómata también está faltando representar ese patrón en la formulación de X1.
Saludos,
Santi