Ich habe mehrmals gelesen, dass es nicht möglich ist, die Antwort eines NDTM effizient umzudrehen. Ich verstehe jedoch nicht warum. Bei einem NDTM , das in O ( n ) ausgeführt wird , heißt es in diesem Text (Abschnitt 3.3) beispielsweise, dass unklar ist, wie ein anderes NDTM T in …
Was sind Unterschiede zwischen deterministischen und nichtdeterministischen Turingmaschinen? Verschiedene, aber gleichwertige Modelle von NDTM. Was ist dieser häufig verwendete Ausdruck "nicht deterministisch raten"? Wie man es richtig benutzt und Beispiele für falsche Verwendung. Mein Ziel ist es, eine Referenzfrage zu erstellen.
Ich versuche, die Antworten auf zwei Fragen zur Universal Turing-Maschine zu finden. Wie kann die Universal Turing-Maschine eine Turing-Maschine simulieren, wenn die simulierte Maschine eine größere Anzahl von Zuständen aufweist? Wie kann die Universal Turing-Maschine eine Turing-Maschine simulieren, wenn die simulierte Maschine eine größere Anzahl von Buchstaben enthält? Kann mir …
Es hat sich gezeigt, dass das Problem der Entscheidung, ob eine Eingabe ein Palindrom ist oder nicht, Speicherplatz auf einer Turing-Maschine erfordert . Selbst das Speichern der Eingabe benötigt jedoch Speicherplatz Bedeutet dies nicht, dass alle Turing-Maschinen Speicherplatz benötigen ?Ω(logn)Ω(logn)\Omega(\log n)nnnΩ(n)Ω(n)\Omega(n) Natürlich gibt es hier keinen Widerspruch, da jede Funktion, …
Ich habe Websites gesehen, die vorgeben zu "beweisen", dass HTML5 + CSS Turing Complete ist. Ich habe Websites gesehen, die vorgeben, "zu beweisen", dass SQL Turing Complete ist. Ich habe eine Reihe von Websites gesehen, die vorgeben zu "erklären", was es bedeutet, Turing Complete zu sein. Genug! Wo finde ich …
Turingmaschinen und uneingeschränkte Grammatiken sind zwei verschiedene Formalismen, die die RE-Sprachen definieren. Einige RE-Sprachen sind entscheidbar, aber nicht alle. Wir können die entscheidbaren Sprachen mit Turing-Maschinen definieren, indem wir sagen, dass eine Sprache entscheidbar ist, wenn es ein TM für die Sprache gibt, die alle Zeichenfolgen in der Sprache anhält …
Bedeutet Akzeptieren, dass das TM ein Zeichen aus der Zelle liest und erkennt, aus der es gerade liest? Und ist es der Fall, dass ein TM anhält, wenn die Eingabe entscheidbar ist?
Die Frage ist Übung 1.9 aus Arora-Baraks Buch Computational Complexity - A Modern Approach : Definieren Sie eine RAM-Turing-Maschine als Turing-Maschine mit Direktzugriffsspeicher. Wir formalisieren dies wie folgt: Die Maschine hat ein unendliches Array A, das für alle Leerzeichen initialisiert wird. Es greift wie folgt auf dieses Array zu. Eines …
Ich erhalte den Beweis, von einem Enumerator zu einer Turing-Maschine zu wechseln (führen Sie den Enumerator weiter aus und prüfen Sie, ob er mit der Eingabe übereinstimmt), aber ich sehe nicht, wie der andere Weg funktioniert. Gemäß meinen Notizen und dem Buch (Einführung in die Theorie der Berechnung - Sipser) …
Ich habe das folgende algorithmische Problem: Bestimmen Sie den Raum Turing Komplexität der Erkennung von DNA-Strings, die Watson-Crick-Palindrome sind. Watson-Crick-Palindrome sind Saiten, deren umgekehrtes Komplement die ursprüngliche Saite ist. Das Komplement ist buchstabenweise definiert, inspiriert von der DNA: A ist das Komplement von T und C ist das Komplement von …
OK, hier ist eine Frage aus einem früheren Test in meiner Klasse "Theorie der Berechnung": Ein nutzloser Zustand in einem TM ist ein Zustand, der niemals in eine Eingabezeichenfolge eingegeben wird. Es sei Beweisen Sie, dass unentscheidbar ist.U S E L E S S T M.U S E L E …
Bei der Algorithmusanalyse nehmen wir eine generische Random Access Machine (RAM) mit einem Prozessor an. Soweit ich weiß, ist die RAM-Maschine nicht effizienter als die Turing-Maschine. Alle Algorithmen können in der Turingmaschine implementiert werden. Meine Fragen sind also: Wenn die Turing-Maschine genauso effizient ist wie die RAM-Maschine, warum nehmen wir …
Auf dieser Site gibt es viele Varianten der Frage, ob TMs das Stoppproblem entscheiden können, ob für alle anderen TMs oder bestimmte Teilmengen. Diese Frage ist etwas anders. Es wird gefragt, ob die Tatsache, dass das Stoppproblem für alle TMs gilt, von einem TM entschieden werden kann. Ich glaube, die …
Eine Aussage zum Satz von Rice finden Sie auf Seite 35 von "Computational Complexity: a Modern Approach" (Arora-Barak): Eine Teilfunktion von { 0 , 1 }∗{0,1}∗\{0,1\}^* bis { 0 , 1 }∗{0,1}∗\{0,1\}^* ist eine Funktion, die nicht unbedingt für alle ihre Eingaben definiert ist. Wir sagen, dass ein TM M.MM …
Um zu beweisen, dass 3-Färbung entscheidbar ist, reicht es zu sagen: Jeder Knoten in der Grafik hat 3 mögliche Farben Daher können wir alle Möglichkeiten aufzählen und dann überprüfen, ob keine zwei Kanten Knoten mit derselben Farbe verbinden3n3n3^n Beweist das, dass 3-Färbung entscheidbar ist? Oder muss ich eine Turing-Maschine bauen, …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.