时间层谱定理

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