成严格的谱系（不会有哪个在上方者与下方相等）；换句话说，我们已知formula_4，并且依此类推。
机器模型.实际操作以定义DTIME的机器，可以在不影响DTIME定义的前提之下，换成其他的某些机器。最后作结论时，常常会使用多带图灵机，特别是在定义某些很小的复杂度类时。更准确的说，一个多带图灵机不可能提供超过一般图灵机平方时间以上的计算能力（Papadimitriou 1994, Thrm. 2.1）。对时间进行常数倍数的加速并不影响DTIME内复杂度类的能力；因为常数倍数的加