Phương pháp phái sinh của Brzozowski là một kỹ thuật rất đẹp để xây dựng tính tự động xác định từ các biểu thức chính quy theo cách đại số độc đáo. Tôi đã tìm ra một số khái quát dễ thương của kỹ thuật này để xử lý một số lớp ngữ pháp lớn hơn, nhưng các thuật toán đủ đơn giản để có vẻ như chúng đã được phát hiện trước đó. Nhưng các tài liệu tham khảo của Google về hậu duệ của kỹ thuật này dường như không xuất hiện nhiều. Có ai biết gì không?
2
Tôi khá tò mò về những lớp ngữ pháp mà bạn đang nghĩ đến. Về con cháu, kỹ thuật của Antimirov, tạo ra automata không điều kiện thay thế, rất hay: Các dẫn xuất một phần của biểu thức chính quy và các cấu trúc tự động hữu hạn , TCS 155 (2), 1996, ( dx.doi.org/10.1016/0304-3975(95 ) 00182-4 ).
—
Sylvain
bạn có nghĩa là khái quát hóa cho các ngôn ngữ phức tạp hơn, như thông thường <không ngữ cảnh <nhạy cảm với ngữ cảnh <...?
—
s8soj3o289
Tôi đã xem xét các hệ thống con của CFG gần như trong khu vực lân cận VPL.
—
Neel Krishnaswami
... nhưng tập hợp các công cụ phái sinh không hữu hạn. Và thực sự nếu bạn muốn một cái gì đó mang tính quyết định như với phương pháp của Brzozowski, có lẽ bạn bị giới hạn ở DCFL (do đó tôi tưởng tượng nó có thể có ý nghĩa đối với VPL).
—
Sylvain