空间层谱定理

（计算机科学技术）

空间层谱定理（space hierarchy theorem），计算机科学技术名词，如果 f，g 是空间可构造函数，满足 f(n) = o(g(n)) ，那么，SPACE( f(n) )SPACE( g(n) )，这里SPACE( f(n) )是确定型图灵机在空间 f(n) 内所接受的一切语言构成的类。