NSPACE 在計算複雜度理論內NSPACEfn這個複雜度類是一個決定性問題的集合裡面的問題可以以非確定型圖靈機使用Ofn這麼多空間不限制時間來解決或者換句話說這是DSPACE的非確定型版本 有一些重要的複雜度類可以使用NSPACE來定義這些複雜度類包括了 REG  DSPACEO  NSPACEO這裡 REG是正則語言regular language的複雜度類非確定的特性在常數空間之內並沒有增加計算的能力 NL  NSPACEOlog n CSL  NSPACEOn這裡CSL是上下文有關語言contextsensitive language的複雜度類 PSPACE  NPSPACE   k  N NSPACE  n k  displaystyle bigcup kin mathbb N mboxNSPACEnk EXPSPACE  NEXPSPACE   k  N NSPACE   n k  displaystyle bigcup kin mathbb N mboxNSPACEnk 最後兩個結論是從薩維奇定理導出這定理指出對任何fn  logn NSPACEfn  DSPACEfn ImmermanSzelepcsényi定理則指出對任何sn  log nNSPACEsn在補集運算下封閉closed under complement NSPACE可以與DTIME作連接如下 對任何space constructible function sn NSPACE  s  n     k   DTIME   k  s  n   displaystyle mboxNSPACEsnsubseteq bigcup kgeq mboxDTIMEkcdot sn