Als «fl.formal-languages» getaggte Fragen

formale Sprachen, Grammatiken, Automatentheorie

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 …
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 …
1
Kontextsensitive Grammatik für SAT?
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 Aufwand für die Buchhaltung überprüft werden …
1
Effiziente Verkettung von DFAs?
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 hinzuzufügen und den resultierenden NFA zu bestimmen. …
1
Vollständigkeit und kontextsensitive Sprachen.
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 vorstellen, die CSL sind (da CSL gleich NSPACE [ ] …
3
Irreduzible Sprachen
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 | …
2
Minimierung der Größe des regulären Ausdrucks für endliche Mengen
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 Zeichenfolgen in der Sprache, und wir …
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 …
3
Fortschritte beim verallgemeinerten Sternhöhenproblem?
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 Bedingungen erfüllt:EINEINA (1) und sind erweiterte reguläre Ausdrücke für alle∅ , 1∅,1\emptyset, 1eineinaa …
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.