Ejercicios resueltos sobre autómatas a pila aceptación por estado final o vacía

[Leriu]

Una pregunta, si alguien pudiera ayudarme le agradecería mucho,he estado dándole vueltas pero no logro solucionar esto:

Diseñe un autómata a pila que acepte cada uno de los lenguajes siguientes. Puede aceptar por estado final o por pila vacía, lo que sea más conveniente.

a) El conjunto de todas las cadenas de ceros y unos tales que ningún prefijo tenga más unos que ceros.

b) El conjunto de todas las cadenas de ceros y unos con el mismo número de ceros que de unos.

[javi in the sky]

Hola Leriu

Mírate este hilo https://www.aprenderaprogramar.com/foros/index.php?topic=638.0

Es posible que ahí tengas la respuesta, o si no está ahí posiblemente haya uno equivalente.

Saludos!