El vacío de los Autómatas de Pila está NEXPTIME-completo: Una Corrección