Gibt es eine 2DFA mit Zuständen (wobei n nicht trivial ist, sagen wir mindestens 4), für deren Simulation mindestens 2 n Zustände erforderlich sind ?nnnnnn2n2n2^n Ein Zwei-Wege-DFA (2DFA) ist ein deterministischer Finite-State-Automat, der sich auf seinem schreibgeschützten Eingabeband hin und her...
Ein deterministischer Automat heißt k- lokal für k > 0, wenn für jedes w ∈ X k die Menge { δ ( q , w ) : q ∈ Q } höchstens enthält ein Element. Intuitiv bedeutet dies, dass wenn ein Wort w der Länge k zu einem Zustand führt, dieser Zustand eindeutig ist oder anders gesagt wird als ein beliebiges...
Konkret meine ich mit Addition, wir definieren als das Alphabet { 0 , 1 , 2 , . . . , i } . Schauen Sie sich bei den regulären Sprachen A und B unter einem Alphabet Σ i A × B an .ΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B Definieren Sie für jedes...
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...
Die hier betrachteten Wandler sind jene, die Wikipedia Finite-State-Wandler nennt . Das Verhalten eines Wandlers , dh die von ihm berechnete Beziehung, wird geschrieben [ T ] : Ein Wort y ist eine Ausgabe für x iff x [ T ] y .T.TT[ T.]][T][T]yyyxxxx [ T.] yx[T]yx[T]y Frage: Ist das folgende Problem...
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...
Ich meine speziell Sprachfamilien, die beliebig lange Zeichenfolgen zulassen - keine Konjunktionen über n Bits oder Entscheidungslisten oder eine andere "einfache" Sprache, die in {0,1} ^ n enthalten ist. Ich frage nach "automatentheoretischen" regulären Sprachen im Gegensatz zu...
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...
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....
Update: Es scheint, dass dieses Problem kürzlich untersucht und gelöst wurde. Siehe diesen Wiki-Artikel: http://en.wikipedia.org/wiki/Tree_walking_automaton Und auch diese Umfrage: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Angenommen, anstelle der üblichen Wortgruppe {0,1} * sind unsere...
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
Ich interessiere mich für effiziente Algorithmen für die DFA-Schnittmenge für Sonderfälle. Wenn sich die zu schneidenden DFAs einer bestimmten Struktur gehorchen und / oder mit einem begrenzten Alphabet arbeiten. Gibt es eine Quelle, in der ich in solchen Fällen Algorithmen finden kann? Um die...
Bei einer regulären Sprache auf Alphabet kann sein minimaler deterministischer Automat als gerichteter verbundener Multigraph mit konstantem Out-Gradund einen markierten Anfangszustand (durch Vergessen von Bezeichnungen von Übergängen, Endzuständen). Wir behalten den Ausgangszustand bei, da jeder...
Brzozowskis Algorithmus zum Umwandeln eines DFA in einen äquivalenten DFA mit minimalem Zustand ist bemerkenswert einfach: Wenn die NFA bezeichnet, die durch Umkehren aller Kanten in einem DFA wird, wird der alte Startzustand zu einem akzeptierenden Zustand und der alte akzeptierende Zustand...
Erkennen nichtdeterministische lineare begrenzte Automaten mit beschränktem Besuch nur reguläre Sprachen? Mit einem nichtdeterministischen linear begrenzten Automaten (nLBA) meine ich eine nichtdeterministische Turing-Maschine mit einem Band, bei der die Eingabe mit Endmarkern an beiden Enden...
Sei ein Alphabet der Größe 2 und betrachte minimale DFAs, deren Größe durch höchstens m begrenzt ist . Es sei f ( m ) die Anzahl verschiedener solcher minimaler DFAs.ΣΣ\Sigma222mmmf(m)f(m)f(m) Können wir eine geschlossene Formel für ?f(m)f(m)f(m) In Anbetracht dessen für Die Übergangsfunktion eines...
Sei ein endliches Alphabet. Ein Code X über Σ ist eine Teilmenge von Σ * , so dass jedes Wort in X * eindeutig als eine Verkettung von Worten dargestellt werden , in X . Ein Code X ist endlich, wenn | X | ist endlich. Was ist über (minimale) Automaten bekannt, die X ∗ für einen endlichen Code X...
Ich war eine Weile neugierig auf Turingmaschinen mit genau einem Band und genau 3 Zuständen (nämlich dem Startzustand , dem Annahmezustand q a c c e p t und dem Ablehnungszustand q r e j e c t ). Beachten Sie, dass ich beliebige (endliche) Bandalphabete zulasse (dh das Bandalphabet ist nicht auf...