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 .
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.