Greibach pokazowo zdefiniował język , tzw niedeterministycznych wersję z , tak że każdy CFL odwrotna morficznego obraz . Czy istnieje podobne stwierdzenie dotyczące DCFL, być może z dopuszczalnymi ograniczeniami morfizmów?
(Patrz np. M. Autebert, J. Berstel i L. Boasson. Języki bezkontaktowe i automaty wypychające. W red. R. Rozenberg i A. Salomaa, Handbook of Formal Languages, tom I, rozdział 3. Springer Verlag , 1997.)
źródło
Jak wspomniał współpracownik Mateus de Oliveira Oliveira, DCFL nie jest głównym AFL i nie wiadomo, czy istnieje dokładna charakterystyka obejmująca zamknięcie jednego języka w ramach niektórych operacji.
źródło
Papier
J.-M. Autebert, Une note sur le cylindre des langages déterministes, Theoretical Computer Science 8 (1979), 395-399
daje krótki dowód na następujący wynik (przypisany do Greibacha), który wydaje się odpowiadać na twoje pytanie:
źródło