El teorema del aumento de velocidad lineal para máquinas de Turing prueba que dado cualquier máquina que resuelva un problema usando f("n") de un recurso, existe otra máquina que lo resuelve utilizando "c"f("n") de ese mismo recurso, donde "c" > 0.