Buenas

posteo para preguntar si estoy diseñando bien el automata de pila para el lenguaje L (que esta en la imagen)

automatas de pila entran en el final de sintaxis, no? hay alguna serie de pasos que haya que seguir para construir estos bichos? el libro no te da una serie de pasos, estaria bueno tener un algoritmo para armarlos (y no lo encuentro en google)

adjunto la resolucion. edit: es el ejercicio 17 de muchnik que no esta en el libro

"Entra", hay que tomarlo con pinzas. Lo que entra en si es la teoría de ADP, la práctica nunca vi que la tomaran.