ミスった。正確には

『チューリングマシン M に対して、ある関数 f: {0,1}^* → N が存在し、
任意の x ∈ {0,1}^* に対して，M(x) のステップ数が f(x) 以下で抑えられるとき、
Mをアルゴリズムと呼ぶ。この条件を満たさないチューリングマシンはアルゴリズムと呼ばない。』