Do automata giới hạn tuyến tính không giới hạn truy cập chỉ nhận dạng ngôn ngữ thông thường?

Do automata giới hạn tuyến tính không giới hạn truy cập chỉ nhận dạng ngôn ngữ thông thường?

Bởi một máy tự động giới hạn tuyến tính không giới hạn (nLBA) Tôi có nghĩa là một máy Turing không phá hủy băng đơn trong đó đầu vào được "đệm" với các dấu ở hai đầu không bao giờ có thể bị ghi đè, và do đó đầu không bao giờ có thể bị ghi đè ra khỏi vùng đầu vào, "bên ngoài" các dấu hiệu.

LBA bị giới hạn - lượt truy cập nếu có một số sao cho tất cả chạy trên tất cả các đầu vào chấm dứt và truy cập vào mọi ô của băng nhiều nhất là k lần.$k$$k$

Liệu một máy như vậy chỉ nhận ra ngôn ngữ thông thường? Kết quả của Hennie dường như chỉ nói điều này cho các máy xác định, nếu tôi đọc đúng. Có kết quả giữ cho máy không vô căn quá? Nếu có, một tài liệu tham khảo sẽ được đánh giá cao.

Một chút quá mức cần thiết, nhưng: bài báo này cho thấy (trong số những điều tốt đẹp khác) rằng các bộ chuyển đổi Hennie không xác định nhận ra chính xác lớp chuyển đổi không xác định MSO không xác định. Sau này có tên miền thường xuyên.