Sınırlı ziyaret belirsizliği olmayan doğrusal sınırlı otomata sadece normal dilleri tanıyor mu?

Sınırlı ziyaret belirsizliği olmayan doğrusal sınırlı otomata sadece normal dilleri tanıyor mu?

Belirsiz doğrusal sınırlanmış otomat (nLBA) ile, girdinin her iki uçta asla üzerine yazılamayacak uç işaretleri ile "dolgulu" geldiği ve böylece kafanın asla giriş bölgesinden çıkamayacağı tek bantlı, belirsiz bir Turing makinesi kastediyorum, "dış" bitiş işaretleri.

Bir sayı varsa LBA sınırlı ziyaret edilir $k$öyle bütün ilgili çalışır tüm girdilerin sonlandırmak ve en fazla bant her hücreyi ziyaret$k$ zamanlar.

Böyle bir makine sadece normal dilleri tanıyor mu? Hennie'nin sonucu bunu sadece deterministik makineler için söylüyor, eğer doğru okuyorsam. Sonuç, belirsiz makineler için de geçerli mi? Evetse, bir referans takdir edilecektir.

Biraz abartılı, ama: Bu makale (diğer güzel şeylerin yanı sıra) deterministik olmayan Hennie dönüştürücülerin tam olarak deterministik olmayan MSO tanımlanabilir transdüksiyon sınıfını gerçekleştirdiğini göstermektedir. İkincisinin düzenli alanları vardır.