Funciones racionales y CFL

En mi trabajo surgió el problema de la clasificación CFL bajo imágenes de funciones racionales. En otros términos, ¿qué clase de lenguajes forman idiomas , para el contexto fijo lenguaje libre y el transductor de estados finitos determinista . He obtenido algunos resultados fáciles, como el lenguaje Dyck con dos llaves corresponde a CFL y el lenguaje Dyck con una llave es un subconjunto estricto de CFL, ahora hay algunos problemas que todavía me interesan, pero no puedo creer que nadie Lo he descubierto todavía. ¿Hay documentos sobre este tema? La clasificación en Google de CFL o funciones racionales (FST determinista) + CFL da un mal resultado.$T(L)$$L$$T$

En general, el determinismo del transductor parece no ser una restricción real. Las elecciones que puede realizar un transductor se pueden mover al idioma de entrada. Si eso está bien para usted, los objetos que a veces se denominan se denominan tríos principales . Los ejemplos incluyen familias de idiomas lineales , de contador ciego y de contador de un turno (número fijo de contadores). La tesis de habilitación de Kluas Reinhardt (Contando como método, modelo y tarea en informática teórica, disponible en línea) contiene un buen diagrama de inclusión de varias familias (página 64).${\cal M}(L)$