Có gia đình của các ngôn ngữ chính thức được biết là thực sự PAC có thể học được không?

Tôi đặc biệt có nghĩa là các họ ngôn ngữ thừa nhận các chuỗi dài tùy ý - không liên kết trên n bit hoặc danh sách quyết định hoặc bất kỳ ngôn ngữ "đơn giản" nào khác có trong {0,1} ^ n.

Tôi đang hỏi về các ngôn ngữ thông thường "tự động hóa lý thuyết" trái ngược với các ngôn ngữ "lý thuyết logic": một số ngôn ngữ như ngôn ngữ có thể kiểm tra từng phần, ngôn ngữ bắt đầu không độ cao, ngôn ngữ có thể kiểm tra cục bộ, loại đó. Tham số độ phức tạp có liên quan n là kích thước của DFA chấp nhận tối thiểu. Vì vậy, nói ngắn gọn: có một gia đình DFAs n-bang thú vị được biết đến là PAC có thể học được một cách hiệu quả không?

Có một kết quả gần đây về khả năng học hỏi đa thức của các bộ bán nguyệt tại LICS 2010: Hình ảnh Parikh về ngôn ngữ thông thường: Độ phức tạp và ứng dụng . Tôi đoán đây không phải là những gì bạn đang tìm kiếm.

Bạn cũng nên xem qua bài viết của Clark và Thollard: Khả năng học hỏi PAC của Nhà nước hữu hạn xác định xác suất tự động

Bài viết này đưa ra một gợi ý hay về kết quả học tập PAC cho các ngôn ngữ từng phần: Học các ngôn ngữ tách biệt tuyến tính

Công việc của Clark & ​​Thollard đã được Fidel & Gavalda cải tiến theo cách có thể phù hợp với những gì bạn đang tìm kiếm: Hướng tới khả năng tự động xác định xác suất học tập xác thực của PAC

Và công việc này là một câu trả lời tốt cho câu hỏi ban đầu: Về khả năng học hỏi của các lý tưởng xáo trộn . Một trong những tác giả có thể là cùng một người trước đây đã đặt câu hỏi ở đây, nhưng tôi đã tìm thấy trang này bằng cách giải quyết vấn đề đó và vừa tìm thấy bài viết này: nó có thể giúp người khác có tài liệu tham khảo này.