El documento habla sobre autómatas de pila y sus límites. Se divide en varias secciones donde se pide a grupos diseñar autómatas de pila determinísticos y gramáticas para diferentes lenguajes. También se pide demostrar que ciertos lenguajes no son libres de contexto.