Als «context-free» getaggte Fragen

1
Ausreichende Voraussetzungen für die Ordnungsmäßigkeit einer kontextfreien Sprache
Es wäre schön, eine Liste von Bedingungen zu sammeln, die implizieren, dass eine kontextfreie Sprache L regulär ist, dh Bedingungen der Form: "Wenn ein gegebenes CFG / PDA die Eigenschaft P hat, dann sind seine Sprachen regulär". Die Eigenschaft P muss die CFGs, die reguläre Sprachen erzeugen, nicht charakterisieren. Außerdem …
1
Ist {ww '| HamDist (w, w ')> 1} kontextfrei?
Nach der letzten Frage zu lesen : „Ist das Komplement {www∣...}{www∣...}\{ www \mid ...\} Kontextfrei?“ ; Ich erinnerte mich an ein ähnliches Problem, das ich nicht widerlegen konnte: Ist L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} kontextfrei? Hier müssen sich die beiden Saiten in …
2
Ist SAT eine kontextfreie Sprache?
Ich bin die Sprache aller erfüllbar Propositionslogik Formeln unter Berücksichtigung, SAT (um sicherzustellen , dass dies eine endliche Alphabet hat, würden wir propositionaler Buchstaben in geeigneter Weise kodieren [edit: die Antworten darauf hingewiesen , dass die Antwort auf die Frage nicht robust unter sein kann Da die Kodierungen variieren, muss …
3
Mehrdeutigkeit in regulären und kontextfreien Sprachen
Ich verstehe die folgenden Behauptungen als wahr: Zwei unterschiedliche Ableitungen eines Strings in einem bestimmten CFG können dem String manchmal denselben Analysebaum zuordnen. Wenn in einem bestimmten CFG Ableitungen eines Strings vorhanden sind, die unterschiedliche Analysebäume zuordnen, ist das CFG nicht eindeutig. Einige kontextfreie Sprachen, die durch mehrdeutige CFGs generiert …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.