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!

1
Warum ist diese Funktion in
In meinem Lehrbuch heißt es: "Wir definieren die Funktion wie folgt: und . Beachten Sie, dass wir bei gegebener leicht in Zeit die Zahl so dass zwischen und . "f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N}f(1)=2f(1)=2f(1)=2f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}nnnO(n1.5)O(n1.5)O(n^{1.5})iiinnnf(i)f(i)f(i)f(i+1)f(i+1)f(i+1) Wie kann ich mich davon überzeugen, dass wir tatsächlich in Zeit leicht finden können? Da rekursiv definiert ist, müssen …
1
Unterscheidet sich der Nichtdeterminismus in einer nicht deterministischen Turingmaschine von dem von endlichen Automaten und Push-Down-Automaten?
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 …
1
Ein falscher Nachweis des Schließens unter der Sternoperation unter Verwendung von NFA führt dazu, dass die NFA unerwünschte Zeichenfolgen erkennt?
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 …
2
Zählen der Anzahl der von einer azyklischen NFA akzeptierten Wörter
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 Lassen Sie mich einen offensichtlichen Ansatz erwähnen, der …
1
Sind DCFLs unter Umkehrung geschlossen?
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 (seit dem neuer Anfangszustand würde einen Nullübergang zu allen …
2
Warum verlangt man in Savitchs Theorem oft Raumkonstruierbarkeit?
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 )Ω(Log⁡n)\Omega(\log n) , was aus dem Beweis hervorgeht. …
2
Wie ist der Stand der Technik bei der gekapselten Suche in der funktionalen Logikprogrammierung?
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 Kenntnisse über die Compiler-Implementierung …
1
gegen
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 NL[f(n)]NL[f(n)]\mathsf{NL}[f(n)] ist die Klasse, die durch die obige Definition erhalten wurde, aber der Prüfer …
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.