Als «fl.formal-languages» getaggte Fragen

formale Sprachen, Grammatiken, Automatentheorie


3
Gibt es eine Erweiterung für reguläre Ausdrücke, die die kontextfreien Sprachen erfasst?
In vielen Arbeiten mit kontextfreien Grammatiken (CFGs) lassen die dort vorgestellten Beispiele für solche Grammatiken oft einfache Charakterisierungen der von ihnen erzeugten Sprache zu. Beispielsweise: S→aaSbS→aaSbS \to a a S b S→S→S \to erzeugt ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a a …

5
Einen Analysewald von einem Earley-Parser wiederherstellen?
Ich habe kürzlich den Earley-Parser gelesen und denke, er ist einer der elegantesten Algorithmen, die ich bisher gesehen habe. Der Algorithmus im herkömmlichen Sinne ist jedoch ein Erkenner und kein Parser. Dies bedeutet, dass er erkennen kann, ob eine Zeichenfolge mit einer bestimmten CFG übereinstimmt, aber keinen Analysebaum für diese …

2
Kontextsensitive Grammatiken und Typen
1) In welcher Beziehung stehen statische Typisierung und formale Grammatik? 2) Wäre es insbesondere für einen linear begrenzten Automaten möglich, zu überprüfen, ob beispielsweise ein C ++ - oder SML-Programm gut typisiert war? Ein verschachtelter Stapelautomat? 3) Gibt es eine natürliche Möglichkeit, statische Schreibregeln in formalen Grammatikbegriffen auszudrücken?


1
Sprachen, die von DFAs mit Polynomgröße erkannt werden
Für ein festes endliches Alphabet , eine formale Sprache über ist regelmäßig , wenn es einen gibt deterministische endliche Automaten (DFA) über , die akzeptiert genau .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Ich interessiere mich für Sprachen, die "fast" regelmäßig sind, in dem Sinne, dass sie von Automatenfamilien erkannt werden können, deren …

6
Fortgeschrittene Techniken zur Bestimmung der unteren Grenzen der Komplexität
Einige von Ihnen sind möglicherweise dieser Frage gefolgt , die aufgrund mangelnder Forschung abgeschlossen wurde. Ich extrahiere also den Teil der Frage, der sich auf Forschungsebene befindet. Über die "einfacheren" Techniken hinaus, wie das Reduzieren auf Sortierung oder ein EXPTIME-vollständiges Problem, welche Techniken wurden verwendet, um untere Grenzen für die …

1
Können alle eindeutigen Grammatiken in linearer Zeit analysiert werden?
Beim Basteln mit nichtkanonischem LR-Parsing habe ich mir eine Parsing-Methode ausgedacht (mit unendlich großen Tabellen, was es etwas unpraktisch macht ), mit der genau die eindeutigen Grammatiken in -Zeit analysiert werden können, und ich habe mich gefragt, ob es möglich ist, es besser zu machen :O ( n2)O(n2)O(n^2) Können alle …

2
Protokollpartitionsnummer und deterministische Kommunikationskomplexität
Neben der (deterministischen) Kommunikationskomplexität einer Beziehung R ist die Protokollpartitionsnummer p p ( R ) ein weiteres grundlegendes Maß für den Kommunikationsbedarf . Die Beziehung zwischen diesen beiden Maßen ist bis zu einem konstanten Faktor bekannt. Die Monographie von Kushilevitz und Nisan (1997) gibtcc(R)cc(R)cc(R)RRR pp(R)pp(R)pp(R) cc(R)/3≤log2(pp(R))≤cc(R).cc(R)/3≤log2⁡(pp(R))≤cc(R).cc(R)/3 \le \log_2(pp(R)) \le cc(R). …


4
Beweis des Pumplemmas für kontextfreie Sprachen mit Pushdown-Automaten
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 Lemma für kontextfreie Sprachen (sowie Ogdens Lemma, das etwas …




1
Ist die Gleichwertigkeit eindeutiger kontextfreier Sprachen bestimmbar?
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 …

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.