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,...
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...
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...
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...
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...
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...
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...
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...
Let einige Sprache sein, dann definieren wir die syntaktische Kongruenz als u ~ v : ⇔ ∀ x , y ∈ X * : x U y ∈ L ↔ x v y ∈ L und der Quotient monoid X * / ~ L ist die angerufene syntaktische Monoid von L .L ⊆X∗L⊆X∗L \subseteq X^{\ast}u ∼ v : ⇔ ⇔ x ,y∈ X∗: x uy∈ L ↔ x vy∈ Lu∼v: ⇔∀x,y∈X∗:xuy∈L↔xvy∈L u...
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...
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:...
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...
Lassen die Familie aller Sprachen über sein Σ erfüllt die Pumpeigenschaft der regulären Sprachen. Nämlich: für jedes L ∈ L gibt es ein N ∈ N st jedes Wort w ∈ L , | w | > N in der Form geschrieben werden kann , w = x y z , wo: 1 | y | > 0 , 2. | x y | ≤ N , 3. x y i...
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...
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...
Ich habe also ungefähr 100-200 sehr spärliche quadratische boolesche Matrizen mit einer Seitenlänge von mehreren Dutzend, und ich muss ihr Produkt berechnen. Ich weiß, dass, wenn ich sie seriell multipliziere, das Produkt normalerweise bei jedem Schritt so dünn bleibt. Gibt es in diesem Fall...
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?...
Ich suche ein Übersichtsblatt zu den wichtigen Konzepten im Bereich der Quantenautomaten. Ich habe Quantum Automata Theory - A Review von Hirvensalo gefunden, aber es klingt zu prägnant, um das Thema zu erfassen. Gibt es eine recht umfassende Umfrage zum Thema Quantum Automata? Können Sie mich auch...
Ich mache derzeit einige formale Sprachrecherchen mit Sprachklassen über Regular, aber unter Context Free. Ich betrachte Dinge wie umkehrbar gebundene Multicounter-Maschinen, Single-Stack-Counter-Maschinen, deterministische CFLs usw. Ich frage mich, ob irgendjemand ein gutes Buch oder einen...
Sei eine Konstante. Wie können wir ein Pseudo - Zufalls konstruieren beweisbar Generator , dass Narren d -state endliche Automaten?dddddd Hier hat ein endlicher Automat mit Zuständen d Knoten, einen Startknoten, eine Menge von Knoten, die Akzeptanzzustände darstellen, und zwei gerichtete Kanten,...