Automa a pila

[mistergks]

Sto studiando linguaggi formali da autodidatta e non riesco a capire come funziona l'automa a pila per il riconoscimento di linguaggi liberi dal conteso di tipo 2 (choomsky).


In linea di massima mi pare di capire che è simile a un automa a stati finiti ma ha in piu una pila in cui annotare stringhe.
Le operazioni della pila sono aggiungere o eliminare elemento vero? Ma come si fa?

Che qualcuno venga in mio aiuto! Grazie