Was ist der Standardansatz zur Minimierung von Büchi-Automaten (oder auch Müller-Automaten)? Das Übertragen der üblichen Technik von endlichen Wörtern, dh das Setzen von zwei Zuständen auf Gleichheit, wenn die Wörter "Auslaufen" der akzeptierten Zustände gleich sind, funktioniert nicht. Stellen Sie...
In formalen Sprachen gibt es ein offenes Problem, das als Trennungsproblem bekannt ist. Dies wird kurz als gegeben gegeben, wenn zwei unterschiedliche Zeichenfolgen der Länge , wie groß ein DFA ist, um sie zu "trennen", was bedeutet, dass eine Zeichenfolge akzeptiert, die andere jedoch abgelehnt...
Es sei eine Zahl angegeben. Betrachten Sie die folgende Sprache L n = {nnn .L.n= {w w|w ∈ { 0 , 1 }n}}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} In Worten ist die Menge von Kopierzeichenfolgen der Länge 2 n .L.nLnL_n2 n2n2n Betrachten Sie die folgenden...
Wo finde ich eine Einführung in probabilistische Automaten und was erkennen sie (bestimmte Funktionen von Wörtern bis )? Gibt es einen Standardbegriff für solche Funktionen, die von probabilistischen Automaten erkannt werden, analog zu "regulären Sprachen", für die deterministische endliche...
P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP ist die Menge aller Sprachen, die in der Polynomzeit auf einer deterministischen Turing-Maschine entscheidbar sind, und CSLCSLCSL ist die Klasse der kontextsensitiven Sprachen, die bekanntermaßen , den Sprachen, die von linear begrenzten...
Es ist einfach zu erkennen, dass die Potenzen von 2 über dem Alphabet {0,1} regulär sind, da ein regulärer Ausdruck dafür ist.10∗10∗10^* Aber die Potenzen von 2, die im Ternär dargestellt werden, scheinen nicht regulär zu sein. Das Pumpen von Deckspelzen- oder Rückstandsklassen ist schwierig...
Nach meiner Erfahrung werden kontextsensitive Sprachen und linear begrenzte Automaten in Kursen zur Berechenbarkeitstheorie häufig übersprungen oder übersprungen und sogar in einigen bemerkenswerten Lehrbüchern weggelassen, obwohl endliche und Pushdown-Automaten viel Aufmerksamkeit erhalten....
Gibt es Permutationen und Polynomgröße (in ) kontextfreie Grammatik, die die endliche Sprache über Alphabet ?| w | = n { w π 1 ( w ) π 2 ( w ) } { 0 , 1 }π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} UPDATE: Für eine Permutation es möglich....
Diagrammparser können basierend auf der Chomsky-Normalform oder direkt basierend auf Produktionsregeln implementiert werden. Nehmen wir für den Moment an, wir haben einen CYK-Diagrammparser, der die Chomsky-Normalform verwendet. Die Binarisierung ist nicht eindeutig definiert. Beeinträchtigt dies...
Ich habe mich gefragt, welche Sprachen durch Einschränkungen regulärer Ausdrücke erzeugt werden. Angenommen, alle Einschränkungen haben ein konstantes Symbol für jedes Element von und Verkettung. Dann können acht Klassen durch das Vorhandensein oder Fehlen von Komplement / Negation, Veränderung /...
Ich lerne die algebraische Theorie des Parsens. Mein erstes Problem ist die Identifizierung von Semiring-Beispielen, die spezifisch für die formale Sprachtheorie sind. Hier ist ein Versuch, zwei Beispiele zu konstruieren. 1 Bei gegebener CNF-Grammatik sind die Elemente des Semirings Sätze von...
Ich würde gerne wissen, warum für die Erkennung kontextfreier Sprachen nur nicht deterministische Push-Down-Automaten (DPA = NPDA) funktionieren. Warum erkennen deterministische Push-Down-Automaten (DPDA) solche Sprachen
Ob es einige Ergebnisse zur Lösung formaler Sprachprobleme mit mathematischer Analyse oder kontinuierlicher Mathematik gibt? Zum Beispiel das Lösen des Problems der Nichtleere der Kreuzung für eine kontextfreie Sprache und eine reguläre
Es gibt verschiedene Modelle zum Definieren von Transformationen zwischen Sprachen. Finite-State-Wandler und MSO-definierbare Graphtransformationen über String-Graphen sind die beiden, die ich am besten kenne. Wir wissen, dass 2-Wege-Finite-State-Wandler (die ausdrucksstärker sind als ihre...
Wie ist das Verhältnis von mehrdeutigen CFGs zu allen CFGs ? Da beide Sätze zählbar unendlich sind, ist das Verhältnis nicht genau definiert. Aber was ist mit der asymptotischen Dichte : limn ↦ ∞# mehrdeutiges CFG der Größe < n# CFG der Größe < nlimn↦∞# mehrdeutige CFG der Größe<n# CFG...
Sei EINAA ein endliches Alphabet. Für eine gegebene Sprache L ⊆ A.∗L⊆A∗L \subseteq A^{\ast} das syntaktische Monoid M.( L )M(L)M(L) ein in der formalen Sprachtheorie bekannter Begriff. Weiterhin erkennt ein Monoid M.MM eine Sprache L.LL wenn ein Morphismus φ : A.∗→ M.φ:A∗→M\varphi : A^{\ast} \to M...
Wir wissen, dass alle Push-Down-Automaten mit kontextfreien Grammatiken darstellbar sind. Darüber hinaus gibt es einen Algorithmus zum Erstellen eines CFG aus einem beliebigen PDA (z. B. Sipsers Beweis im Intro zur Theorie der Berechnung). Gibt es Tools für diese Übersetzung? Das heißt, ich kann...
Für eine gegebene kontextfreie Sprache G nennen wir ein Nicht - End NULLABLE wenn A i → * ε , dh wir den leeren String aus ableiten können A i nach einer endlichen Anzahl von Produktionen Anwendung.AiAiA_i Ai→∗ϵAi→∗ϵA_i \rightarrow^* \epsilonAiAiA_i Es gibt einen einfachen Algorithmus zum...
Schreiben Sie als Parikh-Karte --ie, , wobei gibt an, wie oft in erscheint . Es ist bekannt , dass für ein CFL , ist ein semilinearer Satz (dies ist Parikh-Theorem). Einige andere interessante Dinge sind bekannt, aber ich habe nichts über die Parikh-Karte einer kontextsensitiven Sprache gefunden....
Betrachten Sie eine Regex-Sprache mit dem gierigen Quantifizierer , dem nicht-gierigen Quantifizierer ∗ ? , geordnete Wechsel- und Charakterklassen. (Dies ist im Wesentlichen eine Subsprache von PCRE ohne Rückreferenzen, umschauende Behauptungen oder einige der anderen schickeren Teile.)∗∗*∗...