Por el teorema de Savitch, NPSPACE = PSPACE.