La clase de complejidad NPSPACE se puede definir a partir de NSPACE como: