Buenas noches,
No se nos ocurre como podes solucionar vía autómata push down el caso que k>n y k<n+m.
Porque el problema es que primero requerimos consumir la información recolectada al inicio de la tira (la cantidad de 'a's) y luego las restantes 'c' contrastarlas contra las restantes 'b'.
¿Nos pueden dar alguna sugerencia como solucionar ese caso?
Nos gustaría hacer algo así como invertir el stack, pero no cremos que eso sea posible. Aunque, para el caso de buscar un APD para el lenguaje de la forma w.w con w en sigma asterisco, creo que no hay otra forma mas que invertir el stack.
Saludos,
Daniel