Als «automata-theory» getaggte Fragen

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

1
Wenn ein PDA M gegeben ist, so dass L (M) in DCFL ist, konstruiere ein DPDA N, so dass L (N) = L (M)
Ist es möglich, einen Algorithmus zu konstruieren, der einen Pushdown-Automaten als Eingabe verwendet, zusammen mit dem Versprechen, dass die von diesem Automaten akzeptierte Sprache eine deterministische kontextfreie Sprache ist und einen deterministischen Pushdown-Automaten ausgibt, der genau die akzeptierte Sprache akzeptiert von ?L ( M ) N M.M.MML ( M.)L(M)L(M)N.NNM.MM Ein …
1
Ehrenfeucht-Fraïssé-Spiele (Ajtai-Fagin) für reguläre Sprachen.
Immerman (Descriptive Complexity, 1999) präsentiert die EF-Spiele für existenzielle monadische zweite Ordnung (Ajtai-Fagin-Spiele) auf Seite 127. Da MSO für Wörter regulären Sprachen entspricht, kann das Spiel wie folgt geschrieben werden.∃∃\exists Eine Sprache ist genau dann regulär, wenn Delilah im folgenden Spiel keine Gewinnstrategie hat: 1. Samson wählt c , m …
2
Wortlisten trennen
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 wird.nnn Hier sind einige relevante …
2
Minimieren von Automaten, die
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 sich zum Beispiel vor, dass das Büchi-Automoton alle Wörter mit …
2
Sind reguläre Sprachen zusätzlich geschlossen?
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 …
2
2DFA, die viele Zustände in äquivalentem DFA erfordert?
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 bewegen darf, im Gegensatz zu Finite-State-Automaten, die den Eingangskopf …
2
Taxonomie bemerkenswerter Automaten mit regulären Ausdrücken
Ich versuche, eine Taxonomie von Algorithmen zur Umwandlung regulärer Ausdrücke in Automaten zu erstellen, um einige empirische Tests ihrer Komplexitätseigenschaften in bestimmten Bereichen durchzuführen. Mir sind einige der "größeren" Namen bekannt, z. Thompson "Regular Expression Search Algorithm", Thompson, 1968 Glushkov "Ein neuer quadratischer Algorithmus zur Umwandlung eines regulären Ausdrucks in …
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.