通常の言語の時間の複雑さ

言語Lがo（nlog（n））で決定可能である場合、Lは正規でなければならないことを証明するにはどうしたらいいのでしょうか。

「決定可能」とは、おそらく「シングルテープの確定的チューリングマシンによって決定可能であること」を意味します。

よろしくお願いしますギジェルモ

これは、小林の古典的な結果です。1テープの非決定性チューリングマシンの時間階層の構造、定理3.3（188ページ）。アイデアは、交差シーケンスを使用することです。上限を表示します。$O(1)$任意の交差シーケンスのサイズで、次にHennieの引数、One-tapeオフラインチューリングマシンの計算、定理2（ページ561）を使用して、マシンが受け入れる言語は通常のものであると結論付けます。