Al denotar con NSPACE("t"("n")), el conjunto de todos los problemas que pueden ser resueltos con una máquina de Turing no determinista usando espacio "O"("t"("n")) para alguna función "t" sobre el tamaño "n" de la entrada y sin límite de tiempo, se puede definir NPSPACE formalmente como