Hola
Seria algo asi? soy nuevo en los automatas, adjunto imagen.
(https://foro.rinconmatematico.com/index.php?action=dlattach;topic=121337.0;attach=25961)
Revisa cómo escribí el mensaje para mostrar las imágenes adjuntadas.
No, no está bien. Los bucles que has puesto de unos te permiten generar cualquier cantidad de \( 1 \), o sea que puedes generar tantos pares como impares.
Deberías llevar el primero a \( q_1 \) y el segundo quitarlo y poner un \( 0 \) que vuelva a \( q_0 \). Y que \( q_1 \) sea estado final.
Saludos