Als «automata-theory» getaggte Fragen

Automatentheorie, einschließlich abstrakter Maschinen, Grammatiken, Parsing, grammatikalischer Inferenz, Wandler und Finite-State-Techniken

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, …
4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen: …
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 …
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
Komplexität des Problems der Wörter mit den wenigsten Buchstaben, die von einem endlichen Automaten akzeptiert werden
Wenn ein endlicher (deterministischer oder nicht deterministischer) Automat A und ein Schwellenwert n gegeben sind , akzeptiert A ein Wort, das höchstens n verschiedene Buchstaben enthält? (Mit k verschiedenen Buchstaben meine ich, dass aabaa zwei verschiedene Buchstaben hat, a und b .) Ich habe gezeigt, dass dieses Problem NP-vollständig ist, …
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
Reguläre Sprache, die zwischen zwei deterministischen CFGs unterscheidet
Angenommen, Sie erhalten zwei deterministische Push-down-Automaten, die die Sprachen und , und möchten feststellen, ob es eine reguläre Sprache so dass und . Grundsätzlich besteht die Herausforderung darin, zu bestimmen, ob es einen DFA gibt, der erkennen kann, aus welcher der beiden Sprachen eine bestimmte Zeichenfolge stammt, sofern sie aus …
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.