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...
Brzozowskis Methode der Ableitungen ist eine sehr hübsche Technik, um deterministische Automaten aus regulären Ausdrücken auf eine schön algebraische Weise zu erstellen. Ich habe einige nette Verallgemeinerungen dieser Technik ausgearbeitet, um einige größere Grammatikklassen zu behandeln, aber die...
2dcas (bidirektionale deterministische Ein-Zähler-Automaten) (Petersen, 1994) können die folgende unäre Sprache erkennen: P O W E R ={ 02n∣ n ≥ 0 } .POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Gibt es eine andere nichttriviale Sprache, die...
Vor vielen Jahren hörte ich, dass die Berechnung des minimalen NFA (nicht deterministischer endlicher Automat) aus einem DFA (deterministisch) eine offene Frage war, im Gegensatz zu der seit Jahrzehnten bekannten und mit einem effizienten gut erforschten umgekehrten Richtung n ) Algorithmus. Hat...
Ein Wort www heißt primitiv , wenn es kein Wort vvv und k > 1k>1k > 1 so dass w = vkw=vkw = v^k . Die Menge Q.QQ aller primitiven Wörter über einem Alphabet ΣΣ\Sigma ist eine bekannte Sprache. WLOG können wir wählen Σ = { a , b }Σ={a,b}\Sigma = \{ a,b \} . Eine Sprache LLL ist Primzahl , wenn...
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,...
Nach einem klassischen Ergebnis von Kuroda ist die Komplexitätsklasse NSPACE [ ]nnn (auch bekannt als NLIN-SPACE) genau die Klasse CSL von kontextsensitiven Sprachen . Das Erfüllbarkeitsproblem SAT liegt in NSPACE [ ] vor, da eine lineare Schätzung für eine Lösung mit höchstens einem linearen...
Definieren Sie für eine Sprache L ⊆ ⊆ ^ * die syntaktische Kongruenz ≡ von L als die geringste Kongruenz auf Σ ^ * , die L sättigt , dh: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Definieren Sie nun die Nerode-Äquivalenz als die folgende rechte Kongruenz: u ∼ v ⇔ (∀ x) [ux ∈ L ↔ vx ∈ L]. Sei [u] die...
Ich interessiere mich für zwei Fragen bezüglich kontextsensitiver Sprachen (CSL) und Vollständigkeit: Gibt es einen Begriff von Vollständigkeit für CSL und welche Sprachen sind vollständig? Gibt es natürliche CSL, die NP-vollständig sind? Für 2. kann ich mir natürlich NP-vollständige Sprachen...
Eindeutige endliche Automaten (UFA) sind spezielle Arten nicht deterministischer endlicher Automaten (NFA). Eine NFA wird als eindeutig bezeichnet, wenn jedes Wort höchstens einen akzeptierenden Pfad hat.w ∈ & Sigma;∗w∈Σ∗w\in \Sigma^* Dies bedeutet .D FA ⊂ UFA ⊂ NFEINDFEIN⊂UFEIN⊂NFEINDFA\subset...
Es gibt theoretische Beweise dafür, dass die naive kartesische Produktkonstruktion für die Schnittmenge von DFAs "das Beste ist, was wir tun können". Was ist mit der Verkettung von zwei DFAs? Die triviale Konstruktion besteht darin, jeden DFA in einen NFA umzuwandeln, einen Epsilon-Übergang...
Ich habe mich gefragt, ob es eine gute Bibliographie von Versuchen gibt, die Collatz-Vermutung als formale Grammatik zu untersuchen. (oder andere Versuche in der CS-Community, sich mit dieser Klasse von generativen Phänomenen und ihren "Stopp" -Eigenschaften zu
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,...
Wir sagen , dass NFA ist ständig mehrdeutige Existieren k ∈ N , so dass jedes Wort w ∈ & Sigma; * durch entweder akzeptiert wird 0 oder (exakt) k Pfaden.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Wenn Automat für ständig mehrdeutig ist k = 1 , dann M heißt Eindeutiges FA...
Die (verallgemeinerte) Sternhöhe einer Sprache ist die minimale Verschachtelung von Kleene-Sternen, die erforderlich ist, um die Sprache durch einen erweiterten regulären Ausdruck darzustellen. Denken Sie daran, dass ein erweiterter regulärer Ausdruck über ein endliches Alphabet die folgenden...
Hintergrund: Bei zwei deterministischen endlichen Automaten A und B bilden wir das Produkt C, indem wir die Zustände in C das kartesische Produkt von Zuständen in A und Zuständen in B sein lassen C ist der Schnittpunkt der Sprachen für A und B. Fragen: (1) Können wir C durch B "teilen", um A zu...
Dies ist nicht unbedingt eine Forschungsfrage. Nur eine Frage aus Neugier: Ich versuche zu verstehen, ob man "irreduzible" Sprachen definieren kann. Als erste Vermutung nenne ich eine Sprache L "reduzierbar", wenn sie als mit A ∩ B = ∅ und | geschrieben werden kann A | , | B | > 1 , sonst die...
Es ist bekannt, dass die Minimierung der Größe eines regulären Ausdrucks PSPACE-vollständig ist, auch wenn wir einen DFA als Sprachspezifikation haben . Was sind die Ergebnisse, wenn die Sprache endlich ist? Man kann dieses Problem in zwei Modellen betrachten: Die Eingabe besteht aus allen...
Ich lese " Verkettung regulärer Sprachen und Beschreibungskomplexität " von Galina Jiraskova, 2009, über die Zustandskomplexität infolge der Verkettung zweier regulärer Sprachen (von Galina Jiraskova), kann aber die praktischen Auswirkungen der Zustandskomplexität nicht verstehen . Der erste...
Eine nicht deterministische Xor-Automate (NXA) ist syntaktisch eine NFA, aber ein Wort wird von NXA akzeptiert, wenn es eine ungerade Anzahl von Akzeptanzpfaden aufweist (anstelle von mindestens einem Akzeptanzpfad im NFA-Fall). Es ist leicht zu erkennen, dass es für eine endliche reguläre Sprache...