在计算复杂性理论中，图灵机的线性加速定理是指：给定任意实数 "c" > 0 ，如果有任意图灵机在 f("n") 时间内可以解决一个问题 "L" 则一定存在另一个图灵机可以在 cf("n") + "n" + 2 的时间内解决这个问题 "L"。
简要证明.这里提供一个对于 "c" = 1/2 时的简要的证明思路。假设一个包含有 "k" 条带和 "s" 个状态的图灵机 M 可以在 f("n") 的时间内解决这个问题，构造一个新的图灵机 M' 包含 "k" 条带，每一个符号表示一个 M 中