Apakah automata linear terikat kunjungan terbatas terikat hanya mengenali bahasa biasa?

Apakah automata linear terikat kunjungan terbatas terikat hanya mengenali bahasa biasa?

Dengan otomaton linear terikat nondeterministik (nLBA) yang saya maksud adalah mesin Turing nondeterministik single-tape di mana input datang "empuk" dengan endmarker di kedua ujungnya yang tidak pernah dapat ditimpa, dan agar kepala tidak pernah bisa keluar dari daerah input, "di luar" endmarker.

LBA terikat-kunjungan jika ada nomor sehingga semua berjalan pada semua input berakhir dan kunjungi setiap sel rekaman paling banyak waktu .$k$$k$

Apakah mesin seperti itu hanya mengenali bahasa biasa? Hasil Hennie tampaknya mengatakan ini hanya untuk mesin deterministik, jika saya membacanya dengan benar. Apakah hasilnya berlaku untuk mesin nondeterministic juga? Jika ya, referensi akan dihargai.

Agak berlebihan, tetapi: makalah ini menunjukkan (di antara hal-hal baik lainnya) bahwa transduser Hennie non-deterministik benar-benar menyadari kelas transduksi yang terdefinisi MSO non-deterministik. Yang terakhir memiliki domain reguler.