すべての状況依存言語は決定可能ですか？

私は通過つもりだったのWikipediaの定義は文脈依存言語と私はこれを見つけました：

言語の各カテゴリは、そのすぐ上のカテゴリの適切なサブセットです。各カテゴリのオートマトンと文法には、そのすぐ上のカテゴリに同等のオートマトンまたは文法があります。

この記事の注文では、線形限定オートマトンが決定者のすぐ下にあることがわかりました。これが当てはまる場合、LBAでのすべての計算はある時点で停止します（すべてのLBAが決定者になるため）。しかし、停止することなくLBAで同時に実行できる計算があるかもしれません。たとえば、LBAで計算を書くことができます。

1. テープの最初の記号を読んで右に移動します。
2. 次のシンボルを読み、左に戻ります。

この（役に立たない）計算（明らかにLB計算）は、左右に振動し続け、停止することはないため、決定者にはなれません。どこが間違っていると思いますか？

まず、すべての状況依存言語はLBAで受け入れられるため（あなたが言ったように）、チューリングマシンはLBAよりも強力であるため、決定可能です。

$M$$M'$$M$$M'$

この本をご覧になることをお勧めします： 言語の紹介と計算理論The John E Martin

283ページ：決定論的LBAがすべてのCSLを受け入れることができるかどうかなど、状況依存言語に関する未解決の質問がまだあります。