Los autómatas de pila pueden aceptar lenguajes que no pueden aceptar los autómatas finitos.