したがってM'は入力を圧縮表現に変換する線形のステップ数を除けばf(n)/2ステップでMの実行を模倣する。
因此M'在最初的花费线性步骤的将输入带转换为压缩表示的步骤之后，最多还需要不会超过f(n)/2步。