Als «context-free» getaggte Fragen

1
Eilenbergs rationale Hierarchie nichtrationaler Automaten und Sprachen - wo ist sie jetzt?
Samuel Eilenberg versprach im Vorwort zu seinen sehr einflussreichen Büchern Automaten, Sprachen und Maschinen (Bände A, B) auf spannende Weise die Bände C und D, die sich mit "einer Hierarchie (genannt rationale Hierarchie) der nichtrationalen Phänomene ... unter Verwendung rationaler Beziehungen als" befassen Rationale Mengen stehen am Ende dieser Hierarchie. …

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 …

10
Damit eine Sprache programmierbar ist, muss sie auf einer kontextfreien Grammatik basieren
Ist es für eine Sprache, die schließlich in Anweisungen auf Systemebene kompiliert / umgewandelt werden kann, praktisch erforderlich, dass es sich um eine kontextfreie Grammatik handelt? Beispiel: Sind alle Programmier- / Skriptsprachen kontextfrei? Java basiert auf CFGs, aber ist es tatsächlich so, dass alle Programmiersprachen auf CFGs basieren? Es scheint …

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 …




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 …


3
CFG-Analyse mit
Es gibt eine Vielzahl von Algorithmen, die eine kontextfreie Grammatik in analysieren können.. Mit der Matrixmultiplikation kann man sogar asymptotisch schneller gehen.O(n3)O(n3)O(n^3) Alle Algorithmen zum Parsen beliebiger CFGs, die ich kenne, haben jedoch eine schlechteste Raumnutzung von (obwohl ich zugegebenermaßen keine Ahnung habe, wie viel Raum dieser Matrixmultiplikationsalgorithmus verwendet). Ich …

2
Eine Referenz für einen „algebraischeren“ Ansatz für Pushdown-Automaten und CFLs?
In dem Buch über die Automatentheorie von Sakarovitch heißt es in der Einleitung zum Abschnitt über Rationalitäten in der freien Gruppe, dass das darin vorgestellte Material "die Grundlage einer wirklich mathematischen Theorie kontextfreier Sprachen" bildet. Dies wird jedoch nicht explizit erwähnt, da kontextfreie Sprachen und Pushdown-Automaten den Rahmen des Buches …

1
Charakterisierung von
Es ist ein Standardnachweis in Automatenkursen, der für L=Σ⋆L=Σ⋆L = \Sigma^\star und |Σ|≥2|Σ|≥2|\Sigma| \ge 2 dass S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} keine kontextfreie Sprache ist. Es ist auch wahr , dass für jede endliche LLL , S(L)S(L)S(L) endlich ist (und daher ein CFL). Ich vermute, dass LLL unendlich …

1
Sind DPDAs ohne ein
In der formalen Beschreibung deterministischer Pushdown-Automaten erlauben sie Bewegungen, bei denen die Maschine Symbole auf den Stapel kopieren oder schieben kann, ohne ein Symbol von der Eingabe zu lesen. Wenn diese Bewegungen nicht zulässig sind und der Stapel nur einmal nach jedem Symbollesevorgang geändert werden kann, sind die resultierenden Automaten …

1
Gibt es Varianten von sichtbaren Pushdown-Automaten, mit denen Wörter auf den Stapel geschoben werden können?
Ich frage mich, ob es Papiere oder Forschungsergebnisse gibt, die sich mit sichtbaren Pushdown-Automaten befassen, aber es erlaubt, dass Wörter anstatt einzelner Buchstaben auf den Stapel geschoben werden. Alternativ könnte eine Konstruktion, mit der Symbole auf symbols- verschoben werden können, dasselbe Ziel erreichen.ϵϵ\epsilon Offensichtlich können solche Variationen gebildet werden, aber …

2
Permutationsphrasen mit LR-Analyse
Eine Permutationsphrase ist eine Erweiterung der kontextfreien Grammatikdefinitionen von Standard (E) BNF: Eine Permutationsphrase enthält n Produktionen (oder entsprechend Nichtterminale) A 1 bis A n . An der Stelle der Permutationsphrase möchten wir jede dieser Produktionen genau einmal sehen, aber die Reihenfolge dieser Nichtterminale interessiert uns nicht.{A1,…,An}{A1,…,An}\{ A_1, \dots, A_n …

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.