Es ist allgemein bekannt, dass das Äquivalenzproblem für allgemeine kontextfreie Sprachen nicht zu entscheiden ist. Alle Beweise für diese Tatsache, die mir bekannt sind, scheinen jedoch nicht eindeutige kontextfreie Grammatiken zu enthalten. Aus diesem Grund möchte ich fragen, ob bekannt ist, ob das Problem weiterhin unentscheidbar ist, während man sich auf eindeutige kontextfreie Sprachen beschränkt. Das heißt, wenn zwei kontextfreie Grammatiken von vornherein als eindeutig eingestuft werden, ist es dann entscheidend, ob sie gleichwertig sind oder nicht?
Ich finde dieses Problem ein wenig faszinierend, da es bekannt ist, dass Äquivalenz für deterministische kontextfreie Sprachen entscheidend ist, obwohl dieses Ergebnis alles andere als trivial ist ... Andererseits könnte es einen einfachen Grund für meine Unentschlossenheit geben übersehen.