Greibach лихо определил язык , так называемую недетерминированную версию о , таких , что любая КЛЛ является обратной морфической изображение . Существует ли подобное утверждение с DCFL, возможно, с некоторыми ограничениями на допустимые морфизмы?D 2 H
(См., Например, М. Аутеберт, Дж. Берстель и Л. Боассон. Неконтекстные языки и автоматы выталкивания. В R. Rozenberg и A. Salomaa, редакторы, Handbook of Formal Languages, том I, глава 3. Springer Verlag , 1997.)
источник
Там на самом деле является труднее DCFL, которая является детерминированной версией Greibach - х; он был представлен Садборо в 78 году в статье « О детерминированных контекстно-свободных языках, многоголовочных автоматах и мощностях вспомогательного хранилища пуш- апов» - однако это самое сложное сокращение пространства журналов. Упомянутый там язык - это набор слов над где:L(2)0 {a,a¯,b,b¯,#,[,]}
с словами над , такими, что существует слово с слово.γ0,γ(i)a,γ(i)b {a,a¯,b,b¯} w1w2⋯wk∈{a,b}k γ0w1¯γ(1)w1⋯wk¯γ(k)wk
Затем утверждается, что является DCFL, а любое пространство журнала DCFL сокращается до . В этом смысле - самая сложная лента DCFL. L ( 2 ) 0 L ( 2 ) 0L(2)0 L(2)0 L(2)0
Как упомянул участник Mateus de Oliveira Oliveira, DCFL не является основным AFL, и неизвестно , существует ли точная характеристика, включающая закрытие одного языка при некоторых операциях.
источник
Бумага
Ж.-М. Autebert, Une note sur le le цилиндрических детерминистов, Теоретическая информатика 8 (1979), 395-399
дает краткое доказательство следующего результата (приписано Грайбаху), который, кажется, отвечает на ваш вопрос:
источник