Greibach notoriamente definida uma linguagem de , o chamado versão não-determinístico de D 2 , de tal modo que qualquer CFL é uma imagem inversa de mórfica H . Existe uma afirmação semelhante com o DCFL, possivelmente com alguma restrição nos morfismos permitidos?
(Ver, por exemplo, M. Autebert, J. Berstel e L. Boasson. Linguagens sem contexto e autômatos de empilhamento. Em R. Rozenberg e A. Salomaa, editores, Handbook of Formal Languages, volume I, capítulo 3. Springer Verlag , 1997.)
fonte
Conforme mencionado pelo colaborador Mateus de Oliveira Oliveira, o DCFL não é um AFL principal e não se sabe se existe uma caracterização exata envolvendo o fechamento de um único idioma em algumas operações.
fonte
O papel
J.-M. Autebert, Uma nota sobre os cilindros demétricos, Theoretical Computer Science 8 (1979), 395-399
fornece uma prova curta do seguinte resultado (creditado a Greibach) que parece responder à sua pergunta:
fonte