[Linguaggi formali] dubbio linguaggio tipo 2

[mistergks]

Ciao a tutti
Allego un esercizio.
Secondo me questo linguaggio è di tipo 2
Ma ho un problema:
Devo fare l'automa a pila.
Se conto che le n siano maggiori di p inserendo nella pila tante A quante sono le n e poi eliminando una A ogni p.. Dovrà restare almeno una n per verificare che n>p.
Fin qua ok
Ma poi come conto c^n se ho eliminate le A in pila per tutta la lunghezza di p?