En esta parte se pide construir un autómata finito.
En la solución se muestra un autómata mínimo, pero no es el primero que uno haría al pensar en el lenguaje.
Mi primera opción sería un AFND que tuviera un estado inicial con dos lazos (uno con a y otro con b) y luego dos transiciones a dos estados una con a y otra con b, y luego un estado final al que llegaría con a o con b dependiendo del estado.
A no ser que el autómata tenía que ser determinista...