Als «regular-language» getaggte Fragen

Fragen zu den formalen Sprachen, die durch reguläre Ausdrücke (im Sinne von Kleene) beschrieben werden können, oder gleichwertig zu den Sprachen, die von endlichen Automaten akzeptiert werden können.

1
Kann ständige Mehrdeutigkeit die Zustandskomplexität einer regulären Sprache verringern?
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 (UFA).MMMk=1k=1k=1MMM Sei …
2
Wie klein kann ein NFA sein, verglichen mit dem minimalen eindeutigen endlichen Automaten (UFA) derselben regulären Sprache?
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 UFA\subset NFA Bekannte verwandte Automatenergebnisse: Die NFA-Minimierung ist PSPACE-Complete. Die NFA-Minimierung über …
2
Büchi-Automaten mit Abnahmestrategie
Das Problem Lasse ein Büchi - Automaten, eine Spracherkennungs L ⊆ & Sigma; & ohgr; . Wir nehmen an, dass A eine Akzeptanzstrategie im folgenden Sinne hat: Es gibt eine Funktion σ : Σ ∗ → QA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to Q der Läufe von können . Wir formalisieren dies unter …
4
Hierarchien in regulären Sprachen
Gibt es eine bekannte "nette" Hierarchie L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (kann endlich sein) innerhalb der Klasse der regulären Sprachen LLL ? Die Klassen in jeder Hierarchie zeichnen sich durch unterschiedliche Ausdruckskraft / Kraft / Komplexität aus. Außerdem wird die Zugehörigkeit zu jeder Klasse durch einige Elemente "gut" …
2
Regular gegen TC0
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}R e g ≤ T C 0 N C 1 ≤ T C 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0} nicht kennen, kennen wir auch .Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} Gibt es einen Kandidaten für ein Problem in RegReg\mathsf{Reg} , das sich nicht in ?TC0TC0\mathsf{TC^0} Gibt es ein bedingtes Ergebnis, das impliziert, …
3
Die Bedeutung der Zustandskomplexität in Automaten und regulären Sprachen?
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 triviale Gedanke, der mir auffiel, war, dass eine höhere Komplexität mehr Zeit und …
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 …
2
Automatenlernen ohne Gegenbeispiele
In Angluins Automaten-Lern-Framework möchte ein Schüler eine reguläre Sprache lernen, indem er seinem Lehrer zwei Arten von Fragen stellt:L ⊆ & Sgr;∗L⊆Σ∗L\subseteq \Sigma^* Wortabfragen: , ist ?w ∈ & Sigma;∗w∈Σ∗w\in \Sigma^*w ∈ Lw∈Lw\in L Equivalence Anfragen: Da eine Sprache , ist ? Wenn nicht, gibt der Lehrer ein Gegenbeispiel , …
1
Abstand zwischen regulären Sprachen
Ich mag einen Begriff der „Nähe“ zwischen zwei regulären Sprachen endlicher Worte definieren (und / oder unendlichen Worten Σ & ohgr; ). Die Grundidee ist, dass zwei Sprachen nahe beieinander sein sollen, wenn sie sich nicht durch viele Wörter unterscheiden. Wir könnten auch die Bearbeitungsentfernung in irgendeiner Weise verwenden ... …
4
(N) DFA mit den gleichen anfänglichen / akzeptierenden Zuständen
Was ist über die Klasse der Sprachen bekannt, die von endlichen Automaten erkannt werden, die denselben Anfangszustand und denselben Akzeptanzzustand haben? Dies ist eine richtige Teilmenge der regulären Sprachen (da jede dieser Sprachen die leere Zeichenfolge enthält), aber wie schwach ist sie? Gibt es eine einfache algebraische Charakterisierung? Das Gleiche …
1
Parametrisierte Komplexität der Einbeziehung regulärer Sprachen
Ich interessiere mich für das klassische Problem REGELMÄSSIGE SPRACHEINKLUSION. Bei einem regulären Ausdruck bezeichnen wir mit L ( E ) die damit verbundene reguläre Sprache. (Reguläre Ausdrücke befinden sich in einem festen Alphabet Σ mit der Operations Union, dem Kleene-Stern und der Verkettung.)EEEL(E)L(E)L(E)ΣΣ\Sigma Eingabe: Zwei reguläre Ausdrücke und E 2 …
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.