Rozważmy dwa gramatyk bezkontekstowych i i zadać następujące pytanie: Czy , czyli są dwa równoważne gramatyki?
Ogólnie problem ten jest nierozstrzygalny. Jednakże, jeśli zarówno i są liniowe lewej (lub prawej) Gramatyki liniowe, to problem jest rozstrzygalne, ponieważ obie opisują gramatyk regularnych języków.
Moje pytanie dotyczy tego, czy ten sam problem jest rozstrzygalny, gdy obie gramatyki są liniowe. Ponadto, jeśli ktoś może wskazać odpowiednią literaturę, będzie to bardzo mile widziane!
Odpowiedzi:
Cytując Amiram Yehudai, The Decidability of Equivalence for a Family of Linear Gramatyki , Information and Control 47, 122-136 (1980) , strona 1:
źródło