Als «nondeterminism» getaggte Fragen

Fragen zu Automaten, formalen Grammatiken oder anderen Rechenmodellen, die sich speziell auf die Verwendung von Nichtdeterminismus beziehen. Nicht zu verwechseln mit Zufälligkeit oder Mehrdeutigkeit!

2
Wie berechnen nichtdeterministische Turingmaschinen allgemeine Funktionsprobleme?
(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 definiert, mit Zugriff auf ein Orakel für ein Entscheidungsproblem …
1
Kleinste Klasse von Automatenmodellen, deren entsprechende Sprachklasse CFL enthält und gegen (Dis-) Zulassen von Nichtdeterminismus im Modell geschlossen ist
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 sind jedoch entscheidbar, und in diesem Fall entspricht jedes deterministische …
1
Kleinste NFA, die Verkettungen von zwei Wörtern der Länge akzeptiert, die an allen Positionen unterschiedlich sind
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, dass, da fest ist, und als endliche Sprache regulär ist.kkk|Lk|=(|Σ|⋅(|Σ|−1))k|Lk|=(|Σ|⋅(|Σ|−1))k|L_k|=(|\Sigma|\cdot(|\Sigma|-1))^k % Das triviale DFA für die …
2
Klassen von NFAs, die effiziente Teilmengenprüfungen oder eindeutige Konvertierungen ermöglichen
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 akzeptieren die NFAs, die ich betrachte, eine endliche Sprache, …
4
Gibt es echte Lexer, die NFAs direkt verwenden, anstatt sie zuerst in DFAs umzuwandeln?
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 gibt. Wenn ich das richtig verstehe, besteht der Kompromiss darin, dass …
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.