Este documento describe los autómatas de pila y las gramáticas de Chomsky. Explica que los autómatas de pila son una extensión de los autómatas finitos deterministas que incluyen una memoria en forma de pila. También describe las cuatro clases principales de gramáticas de Chomsky - Tipo 0, 1, 2 y 3 - ordenadas de más expresiva a menos expresiva. Finalmente, resume que mientras que el lenguaje humano se ajusta a una gramática de Tipo 0, las expresiones regulares solo pueden describir gramáticas de Tipo 3