Ist die Sprache { } kontextfrei oder nicht?einichbjck | i≠j,i≠k,j≠k aibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Mir wurde klar, dass ich fast alle Varianten dieser Frage mit unterschiedlichen Bedingungen über die Beziehung zwischen i, j und k kennengelernt habe, aber nicht...
Als Nebenprojekt schreibe ich eine Sprache mit Python. Ich habe mit einem Flex / Bison-Klon namens Ply angefangen, stoße aber an die Grenzen dessen, was ich mit dieser Art von Grammatik ausdrücken kann, und ich bin nicht daran interessiert, meine Sprache zu zerhacken, weil die Impedanz nicht mit...
Das pumpfähige Lemma für reguläre Sprachen kann durch Betrachtung eines Automaten mit endlichen Zuständen bewiesen werden, der die untersuchte Sprache erkennt, eine Zeichenfolge mit einer Länge auswählt, die größer als die Anzahl der Zustände ist, und das Taubenlochprinzip anwendet. Das pumpfähige...
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...
Dies ist eine Neuformulierung von Sind Grammatikprogramme? vorher von Vag gefragt und mit vielen Vorschlägen der Kommentatoren. Inwiefern kann eine Grammatik als Spezifizierung eines Rechenmodells angesehen werden? Nehmen wir zum Beispiel eine einfache kontextfreie Grammatik wie G ::= '1' -> '0'...
Betrachten Sie die folgende natürliche Frage: Was ist bei einer endlichen Sprache die kleinste kontextfreie Grammatik, die L erzeugt ?LLLLLL Wir können die Frage interessanter machen, indem wir eine Folge von Sprachen , zum Beispiel L n ist die Menge aller Permutationen von { 1 , … , n } : Intuitiv...
In Kapitel 4 von Jeffrey Shallits A Second Course in Automata Theory wird das folgende Problem als offen aufgeführt: Sei ein Polynom mit rationalen Koeffizienten, so dass für alle . Beweisen oder zu widerlegen , dass die Sprache der basen k Darstellungen aller ganzen Zahlen in ist kontextfrei ,...
Sei eine kontextfreie Sprache. Definieren Sie p p c ( L ) als den Pre- und Postfix-Abschluss von L , mit anderen Worten, p p c ( L ) enthält alle Präfixe und Postfixes von L und damit L selbst. Meine Frage: Wenn L kontextfrei ist und eine nicht mehrdeutige Grammatik hat, gilt das auch für p p c ( L...
Es sei eine Zahl angegeben. Betrachten Sie die folgende Sprache L n = {nnn .L.n= {w w|w ∈ { 0 , 1 }n}}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} In Worten ist die Menge von Kopierzeichenfolgen der Länge 2 n .L.nLnL_n2 n2n2n Betrachten Sie die folgenden...
Gibt es Permutationen und Polynomgröße (in ) kontextfreie Grammatik, die die endliche Sprache über Alphabet ?| w | = n { w π 1 ( w ) π 2 ( w ) } { 0 , 1 }π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} UPDATE: Für eine Permutation es möglich....
Wie ist das Verhältnis von mehrdeutigen CFGs zu allen CFGs ? Da beide Sätze zählbar unendlich sind, ist das Verhältnis nicht genau definiert. Aber was ist mit der asymptotischen Dichte : limn ↦ ∞# mehrdeutiges CFG der Größe < n# CFG der Größe < nlimn↦∞# mehrdeutige CFG der Größe<n# CFG...
Ich interessiere mich für Computermusik, wo es Ansätze gibt, Musikstücke als Sätze in generativen Grammatiken oder L-Systemen zu behandeln. Anstatt zu komponieren, könnte man dann eine Grammatik angeben und den Computer die Musik erzeugen lassen. ZB ist die Yale-Gruppe um den verstorbenen Paul...
Wir wissen, dass alle Push-Down-Automaten mit kontextfreien Grammatiken darstellbar sind. Darüber hinaus gibt es einen Algorithmus zum Erstellen eines CFG aus einem beliebigen PDA (z. B. Sipsers Beweis im Intro zur Theorie der Berechnung). Gibt es Tools für diese Übersetzung? Das heißt, ich kann...
Ich versuche mein Verständnis in dem Beispiel zu verdeutlichen, das in Abschnitt 2.2 von Einweg-Quantenautomaten: Stärken, Schwächen und Verallgemeinerungen vorgestellt wird (dieser alternative Link kann ebenfalls nützlich sein). Dieses Beispiel bietet ein sehr reduziertes Beispiel für eine 1-QFA...
Ich bin verwirrt über das Beispiel in einem Wikipedia-Artikel über kontextsensitive Grammatik: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Ich habe den besprochenen Abschnitt im Wikipedia-Artikel bereits geändert, sodass der aktuelle Status des Artikels von dem abweicht ,...