Tôi đã xem qua định nghĩa Wikipedia về ngôn ngữ nhạy cảm ngữ cảnh và tôi đã tìm thấy điều này:
Mỗi thể loại ngôn ngữ là một tập hợp con đúng của danh mục trực tiếp trên nó. Bất kỳ máy tự động và bất kỳ ngữ pháp nào trong mỗi thể loại đều có một máy tự động hoặc ngữ pháp tương đương trong danh mục ngay phía trên nó.
Tôi có thể thấy rằng máy tự động giới hạn tuyến tính nằm ngay bên dưới người quyết định trong thứ tự của bài viết. Nếu đây là trường hợp, thì điều đó có nghĩa là mọi tính toán trên LBA sẽ dừng lại ở một thời điểm nào đó (vì mọi LBA sẽ là một người quyết định). Nhưng tôi cảm thấy rằng có thể có một số tính toán có thể chạy trên LBA cùng một lúc không bao giờ dừng lại. Ví dụ, chúng ta có thể viết một tính toán trên LBA.
- đọc ký hiệu đầu tiên trên băng và di chuyển sang phải;
- đọc biểu tượng tiếp theo và di chuyển sang trái
Tính toán (vô dụng) này (rõ ràng là tính toán LB) sẽ chạy dao động vô hạn trái và phải và không bao giờ dừng lại và do đó không thể là một người quyết định. Tôi đang nghĩ sai ở đâu?