Suponga que la máquina de Turing M resuelve el problema en formula_2 pasos y que tiene formula_3 símbolos de cinta y formula_4 estados internos.