Als «nondeterminism» getaggte Fragen

Es sei eine Eingabezeichenfolge als . Befindet sich eine NFA derzeit im Zustand (und hat die Eingabe bis zum Alphabet ), teilt sich die NFA vor dem Lesen des nächsten Eingabesymbols in zwei NFA auf, von denen sich eine im Zustand und die andere in , wenn ein Übergang von der Typ . Wenn es einen...

Diese Vorlesungsfolien skizzieren einen Beweis dafür, dass von keinem deterministischen Pushdown akzeptiert werden kann Automat. Leider geben die Folien keinen Hinweis darauf, woher der Beweis stammt.L = { anbn∣ n ≥ 0 } ∪ { anb2 n∣ n ≥ 0 }L.={einnbn∣n≥0}}∪{einnb2n∣n≥0}}L=\{ a^n b^n \mid n \geq 0 \}...

Ich lese gerade das Buch Einführung in die Theorie der Berechnung (2. oder 3. Aufl.) Von Michael Sipser und bin auf eine Frage in Kapitel 1 - Reguläre Sprachen gestoßen , nämlich wenn der Autor die Beweisidee von Satz 1.49 vorlegt - "Die Klasse der regulären Sprachen ist unter der Sternoperation...

Ich bin besonders an Lösungen für das Problem interessiert, dass die gekapselte Suche von der Reihenfolge der Bewertung abhängen kann. Laut [1] hängt die gekapselte Suche in PAKCS von der Reihenfolge der Auswertung ab, während dies in MCC nicht der Fall ist. Die Verwendung erfordert jedoch...

Wenn Savitchs berühmter Satz aufgestellt wird, sieht man oft die Anforderung, dass S(n)S(n)S(n) raumkonstruierbar sein muss (interessanterweise wird es in Wikipedia weggelassen). Meine einfache Frage ist: Warum brauchen wir das? Ich verstehe die Anforderung, dass S( n )S(n)S(n) in Ω ( logn...

Nach diesem Diagramm werden DCFLs unter Umkehrung geschlossen. Ich bin jedoch nicht davon überzeugt, dass der intuitive Beweis (Umkehren der Pfeile der steuernden Finite-State-Maschine und Umschalten der Pushs und Pops) davon abhängt, dass bei der Auswahl des Nullübergangs aus dem Ausgangszustand...

Sei eine azyklische NFA.MMM Da azyklisch ist, ist endlich.L ( M )MMML(M)L(M)L(M) Können wir berechnenin Polynomzeit?|L(M)||L(M)||L(M)| Wenn nicht, können wir es annähern? Beachten Sie, dass die Anzahl der Wörter nicht mit der Anzahl der akzeptierenden Pfade in , was leicht berechenbar ist.MMM...

Dies hängt etwas mit einer anderen Frage zusammen, die ich gestellt habe , aber ich denke, es ist anders genug, um eine eigene Frage zu rechtfertigen. Ich mache Forschungen, bei denen ich versuche, die Struktur von Komplementen einer bestimmten Klasse endlicher Sprachen zu finden. Es fällt mir...

Aus einem Kommentar ging eine interessante Frage hervor. Die Klasse der CFLs (die von PDAs anerkannten Sprachen) ist offensichtlich nicht unter Nichtdeterminismus geschlossen - was ich damit meine, ist, dass deterministische PDAs nicht gleichwertig mit nichtdeterministischen PDAs sind. Alle CFLs...

Ich recherchiere über NFAs und Inklusionsprobleme mit ihnen. Ich weiß, dass im Allgemeinen die Einschlussprobleme und die Konvertierung in eine eindeutige NFA beide PSPACE-vollständig sind. Ich frage mich, gibt es Unterklassen von NFA, für die diese effizient entschieden werden können? Insbesondere...

Gibt es Beispiele für reale Computersprachen, die nicht deterministisch sind? Unter Computersprachen verstehe ich Programmiersprachen, Markup-Sprachen, Abfragesprachen, Modellierungssprachen, Transformationssprachen usw. Mit nicht deterministisch meine ich, dass sie nicht mit deterministischen...

Ich nehme an der Coursera-Klasse für Compiler teil und in der Lektion über Lexer wird angedeutet, dass es einen Zeit-Raum-Kompromiss zwischen der Verwendung eines nicht deterministischen endlichen Automaten (NFA) und eines deterministischen endlichen Automaten (DFA) zum Parsen regulärer Ausdrücke...

Das Folgende ist eine Übung, an der ich festhalte (Quelle: Sanjeev Arora und Boaz Barak; es sind keine Hausaufgaben): Zeigen Sie, dass es ein Orakel gibt AAAund eine Sprache so dass nicht auf 3SAT polynomialzeitreduzierbar ist, selbst wenn der Maschine, die die Reduktion berechnet, Zugriff gewährt...

(Ich hoffe, das wurde vorher nicht gefragt, aber ich habe nichts gefunden.) Nach meinem Verständnis gilt der Nichtdeterminismus nur für Entscheidungsprobleme, da die Existenz eines akzeptierenden Pfades erforderlich ist . In Wikipedia wird die Klasse -easy als in deterministischer Poltime lösbar...

Ich schaue mir hier mein Lehrbuch von Michael Sipser an und er sagt, dass eine nicht deterministische Turing-Maschine ein Entscheider ist, wenn alle ihre Berechnungszweige bei allen Eingaben anhalten. Ich denke, ich erinnere mich, dass ich irgendwo etwas gesehen habe, was man als nicht...

Es gibt eine äquivalente Definition für die Klasse NLNL\mathsf{NL}mit Verifizierer. Diese Prüfer sind deterministische Turing-Maschinen, die das Zeugenband nur einmal auf eine Weise von links nach rechts lesen können. Eine Funktion gegeben f:N→Nf:N→Nf:\mathbb{N}\to\mathbb{N} das sagen wir...

Seik∈Nk∈Nk\in \mathbb N Ich suche nach einem kleinen NFA-Build für die Sprache der Verkettung von zwei Wörtern der Länge die unterschiedlich sind, dhkkkLk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^* : |u|=|v|=k\wedge \forall i, u_i\neq v_i\} Beachten Sie,...

Also habe ich lange versucht, dies zu knacken und habe fast das Gefühl, dass ich mich über diese Frage in Schleifen befinde. Angesichts der folgenden NFA: Verwenden Sie den GNFA-Algorithmus, um den regulären Ausdruck zu erhalten. Ich verstehe, dass Sie für den ersten Schritt (Hinzufügen leerer...