Bağlama duyarlı tüm diller karar verilebilir mi?

Bağlam duyarlı dilin Wikipedia tanımından geçiyordum ve bunu buldum:

Her dil kategorisi, doğrudan üstündeki kategorinin uygun bir alt kümesidir. Her kategorideki herhangi bir otomat ve herhangi bir dilbilgisi, doğrudan üstündeki kategoride eşdeğer bir otomat veya dilbilgisine sahiptir.

Doğrusal sınırlı otomatın makalenin sıralamasında doğrudan karar verenin altında olduğunu görebiliyordum. Bu durumda, bu, bir LBA üzerindeki her hesaplamanın bir noktada duracağı anlamına gelir (çünkü her LBA bir karar verici olacaktır). Ama aynı zamanda bir LBA üzerinde asla durmayacak bir hesaplama olabileceğini hissediyorum. Mesela LBA üzerine bir hesaplama yazabiliriz.

1. kasetteki ilk sembolü okuyun ve sağa hareket edin;
2. sonraki sembolü oku ve sola geri git.

Bu (işe yaramaz) hesaplama (açıkçası bir LB hesaplamasıdır) süresiz olarak sola ve sağa salınarak çalışır ve asla durmaz ve dolayısıyla bir karar veremez. Nerede yanlış düşünüyorum?

İlk olarak, içeriğe duyarlı tüm diller kararlıdır, çünkü bir LBA tarafından kabul edilebilir (söylediğiniz gibi) ve bir Turing makinesi bir LBA'dan daha güçlüdür.

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

Bu kitaba göz atmanızı öneririm: Dillere Giriş ve Hesaplama Teorisi John E Martin

sayfa 283: Her CSL'nin deterministik bir LBA tarafından kabul edilip edilemeyeceği gibi bağlama duyarlı dillerle ilgili hala açık sorular var.