在计算复杂度理论内，时间谱系理论（Time hierarchy theorems）是一个有关图灵机时间限制上面一个重要的理论。用不大正式的说法解释，这理论告诉我们图灵机在给予更多时间之后，保证能解决更多的问题。举例：必然存在问题是图灵机可以用"n"的时间解决，但是不能用"n"的时间解决。