Hàm hợp lý và CFL

Trong công việc của tôi đã nảy sinh vấn đề phân loại CFL dưới các hình ảnh chức năng hợp lý. Nói cách khác, những gì lớp của ngôn ngữ hình thành ngôn ngữ , cho bối cảnh cố định ngôn ngữ miễn phí L và xác định trạng thái hữu hạn đầu dò T . Tôi đã nhận được một số kết quả dễ dàng như ngôn ngữ Dyck với hai dấu ngoặc tương ứng với ngôn ngữ CFL và ngôn ngữ Dyck với một dấu ngoặc là một tập hợp con nghiêm ngặt của CFL, bây giờ có một vài vấn đề vẫn được tôi quan tâm, nhưng tôi không thể tin rằng không ai đã phát hiện ra nó Có bất kỳ giấy tờ về chủ đề này? Phân loại Google của CFL hoặc Hàm Rational (FST xác định) + CFL cho kết quả xấu.$T(L)$$L$$T$

${\cal M}(L)$