Khi xem xét các mô hình tính toán của máy, hệ thống phân cấp Chomsky thường được đặc trưng bởi (theo thứ tự), automata hữu hạn, automata đẩy xuống, automata ràng buộc tuyến tính và Turing Machines.
Đối với cấp 1 và cấp 1 (ngôn ngữ thông thường và ngôn ngữ đệ quy đệ quy), sẽ không có sự khác biệt nào đối với sức mạnh của mô hình cho dù chúng ta xem xét các máy xác định hay không xác định, tức là DFA tương đương với NFA và DTM tương đương với NTM 2 .
Tuy nhiên, đối với các thiết bị PDA và LBA, tình hình lại khác. Các PDA xác định nhận ra một tập hợp các ngôn ngữ nhỏ hơn hoàn toàn so với các PDA không điều kiện. Nó cũng là một câu hỏi mở đáng kể liệu các LBA xác định có mạnh như các LBA không xác định hay không [1].
Điều này nhắc nhở câu hỏi của tôi:
Có một mô hình máy đặc trưng cho các ngôn ngữ không ngữ cảnh, nhưng đối với chủ nghĩa không xác định sẽ không có thêm sức mạnh? (Nếu không, có một số tài sản của CFL gợi ý lý do cho việc này không?)
Đối với tôi, dường như không thể chứng minh được rằng các ngôn ngữ không ngữ cảnh bằng cách nào đó cần chủ nghĩa không điều kiện, nhưng dường như không có một mô hình máy (đã biết) nào mà máy xác định là đủ.
Câu hỏi mở rộng là như nhau, nhưng đối với các ngôn ngữ nhạy cảm ngữ cảnh.
Tài liệu tham khảo
- S.-Y. Kuroda, "Các lớp ngôn ngữ và tự động giới hạn tuyến tính" , Thông tin và kiểm soát, 7: 207-223, 1964.
Chú thích
- Câu hỏi phụ cho các ý kiến, có lý do nào cho các cấp độ (được sắp xếp theo cách bao gồm) của hệ thống phân cấp Chomsky là số 3 đến 0, thay vì 0 đến 3 không?
- Để rõ ràng, tôi đang nói về các ngôn ngữ chỉ có thể được nhận ra. Rõ ràng các câu hỏi về sự phức tạp bị ảnh hưởng triệt để bởi một sự thay đổi như vậy.