Greibach famoso definido un lenguaje de , la denominada versión no determinista de D 2 , tal que cualquier CFL es una imagen mórfica inversa de H . ¿Existe una declaración similar con DCFL, posiblemente con alguna restricción en los morfismos permitidos?
(Véase, por ejemplo, M. Autebert, J. Berstel y L. Boasson. Lenguajes libres de contexto y autómatas pushdown. En R. Rozenberg y A. Salomaa, editores, Manual de idiomas formales, volumen I, capítulo 3. Springer Verlag , 1997.)
fuente
Como mencionó el colaborador Mateus de Oliveira Oliveira, DCFL no es una AFL principal, y se desconoce si existe una caracterización exacta que implique el cierre de un solo idioma en algunas operaciones.
fuente
El papel
J.-M. Autebert, Une note sur le cylindre des langages déterministes, Theoretical Computer Science 8 (1979), 395-399
da una breve prueba del siguiente resultado (acreditado a Greibach) que parece responder a su pregunta:
fuente