Tôi hiện đang thực hiện một số nghiên cứu về Ngôn ngữ chính thức liên quan đến các lớp ngôn ngữ trên Chính quy nhưng dưới Bối cảnh miễn phí. Tôi đang xem xét những thứ như Máy đa điểm có giới hạn Reversal, Máy đếm đơn ngăn xếp, CFL xác định, v.v.
Tôi tự hỏi nếu có ai biết về một cuốn sách hay một bài khảo sát tốt trong đó phác thảo các thuộc tính của các ngôn ngữ này. Hầu hết những gì tôi đang xem là quá tối nghĩa hoặc quá mới để có trong cuốn sách Hopcroft-Ullman của tôi, ngay cả phiên bản năm 1979.
Chủ yếu tôi đang tìm kiếm các lớp ngôn ngữ được chứa trong một ngôn ngữ khác, thuộc tính đóng của các ngôn ngữ này và tính quyết định của các vấn đề cơ bản (vấn đề F) trên các ngôn ngữ này.
Một số ví dụ về những điều tôi sẽ tìm kiếm trong tài liệu tham khảo này:
- Có phải tất cả các ngôn ngữ được chấp nhận bởi các máy đa truy cập giới hạn Reversal cũng được chấp nhận bởi các máy đếm đơn không đảo ngược không giới hạn?
- Các ngôn ngữ MultiCount có giới hạn đảo ngược xác định có bị đóng dưới sự ghép nối trái và phải không?
- Là phổ quát quyết định cho các máy đơn.
Đây chỉ là những câu hỏi mẫu, tôi có nhiều câu hỏi khác xuất hiện trong công việc hàng ngày của mình.
Để bắt đầu, tôi đã thử truy tìm những bài báo trích dẫn "Máy đa điểm bị đảo ngược và các vấn đề về quyết định của họ" của Oscar Ibarra, nhưng không tìm thấy nhiều.