初期テープ状態を
S(1), S(2), .... の位置を1
他は0

とした時の最大シフト数関数をS^2(x)と定義した時

初期テープ状態を
S^2(1), S^2(2), .... の位置を1
他は0

とした時の最大シフト数関数の大きさは、f_ω_3^CK(n)
という認識であってる?