Lassen Gibt es eine Turingmaschine R, die die Sprache L ∅ entscheidet (ich meine nicht erkennt) ?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Es scheint,...
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 S S.T M.= { ⟨ M, q⟩ ∣ q ist...
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,...
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...
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,...
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...
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...
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...
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...
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
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!...
Eine Boolesche Funktion ist eine Funktion .f: { 0 , 1 }n→ { 0 , 1 }f::{0,1}}n→{0,1}}f:\{0,1\}^n\rightarrow\{0,1\} Die boolesche Basis ist bekanntermaßen Turing-vollständig, da jede Sequenz umgedreht oder unverändert gelassen werden kann. Gleiches gilt für Gates.s ∈ { 0 , 1 } X O R.( ∨ , ∧...
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?...
In einer vorherigen Frage Was genau ist ein Algorithmus? Ich fragte, ob ein "Algorithmus", der den Wert einer Funktion basierend auf einem Array vorberechneter Werte zurückgibt, ein Algorithmus sei. Eine der Antworten, die meine Aufmerksamkeit auf sich zogen, war diese: Das faktorielle Beispiel...
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...
Im College haben wir etwas über die Theorie der Berechnung im Allgemeinen und Turing-Maschinen im Besonderen gelernt. Eines der großartigen theoretischen Ergebnisse ist, dass Sie auf Kosten eines potenziell großen Alphabets (Symbole) die Anzahl der Zustände auf nur 2 reduzieren können. Ich habe...
Ich erinnere mich an eine Grundschulklasse, dass es für eine Turing-Maschine mit einem endlichen Band immer entsprechende Automaten für den endlichen Zustand gibt, aber ich konnte dies nirgendwo im Internet bestätigen. Ist das tatsächlich der Fall oder erinnere ich mich
Warum sind berechenbare Zahlen (im Sinne von Turing) aufzählbar? Es muss sehr offensichtlich sein, aber ich sehe es momentan einfach
Als ich diese Frage " Natürliche RE unentscheidbare Probleme, aber nicht Turing-vollständig " las, kam mir folgende Sprache in den Sinn: Wenn die beschäftigte Biberfunktion ist (maximal erreichbare Punktzahl unter allen anhaltenden Turing-Maschinen mit 2 Symbolen und n-Zustand des oben...
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...