Ich suche nach Sprachen, die "wahrscheinlich nicht kontextfrei" sind, aber wir können sie mit bekannten Standardtechniken nicht (dis) beweisen.
Gibt es eine aktuelle Umfrage zu diesem Thema oder einen offenen Problembereich einer aktuellen Konferenz?
Wahrscheinlich gibt es nicht viele Sprachen, von denen nicht bekannt ist, dass sie CF sind. Wenn Sie eine Sprache kennen, können Sie sie auch als Antwort posten.
Die Beispiele, die ich gefunden habe, sind:
- die bekannte Sprache der primitiven Wörter (es gibt ein ganz schönes aktuelles Buch darüber: Kontextfreie Sprachen und primitive Wörter )
- die Base-k-Darstellungen der Co-Domäne eines Polynoms (siehe Frage " Base-k-Darstellungen der Co-Domäne eines Polynoms - ist es kontextfrei? ") auf cstheory, die vielleicht durch domotorp gelöst wurde, siehe seine Preprint )
Hinweis : Wie Aryeh in seiner Antwort gezeigt hat, können Sie eine ganze Klasse solcher Sprachen aufbauen, wenn Sie eine Sprache mit einer unbekannten Vermutung über die (Nicht-) Endlichkeit oder (Nicht-) Leere einiger Mengen "verknüpfen" (z. B. kann nicht als Summe zweier Primzahlen ausgedrückt werden ). Solche Beispiele interessieren mich nicht so sehr.