非确定性空间复杂性定理

非确定性空间复杂性定理（non-deterministic space complexity theorem），计算机科学技术名词，对任何空间可构造函数 f(n) ≥log n ，NSPACE (f(n))SPACE，这里NSPACE( f(n) )是非确定型图灵机在空间 f(n) 内所识别的一切语言构成的类。