Autómata con Pila

Autómata ampliado con una pila LIFO que actúa como memoria auxiliar no acotada; reconoce exactamente los lenguajes que generan las gramáticas libres de contexto (lenguajes context‑free) mediante transiciones de estado junto con operaciones de push y pop en la pila.