Das folgende Problem ist entscheidbar:
Bei einer kontextfreien Grammatik ist L ( G ) = ∅ ?
Das folgende Problem ist unentscheidbar:
Bei einer kontextfreien Grammatik ist L ( G ) = A * ?
Gibt es eine Charakterisierung kontextfreier Sprachen mit entscheidbarer Gleichheit L ( G ) = M ?
Antworten:
Ich bin nicht sicher, ob es eine allgemeine Charakterisierung für die Äquivalenz gibt, aber die folgenden Arbeiten von Hopcroft, Hunt und Rosenkrantz resp. könnte ein guter Anfang sein:
quelle
Tut mir leid, einen alten Thread aufzurufen. Aber hier ist etwas, das relevant sein könnte.
Sei pCFL die Klasse der permutationsgeschlossenen CFLs. Das Gleichstellungsproblem für pCFL ist entscheidbar.
Dies wirft eine Frage auf, auf die ich die Antwort wissen möchte: Ist es entscheidbar, ob eine bestimmte kontextfreie Sprache permutationsgeschlossen ist?
quelle