In der Vorlesung letzte Woche sagte mein Professor, dass Turing-Maschinen als Standardmaßstab / -modell für das, was berechenbar ist, verwendet werden und eine hilfreiche Diskussionsgrundlage für dieses Thema darstellen. Sie sagte auch, dass sich alle Varianten von Turing-Maschinen als rechnerisch...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Ich bin auf viele Definitionen von rekursiven und rekursiv aufzählbaren Sprachen gestoßen. Aber ich konnte nicht ganz verstehen,...
Konstruktivistische Logik ist ein System, das das Gesetz der ausgeschlossenen Mitte sowie die Doppelte Negation als Axiome entfernt. Es ist auf Wikipedia hier und hier beschrieben . Insbesondere erlaubt das System keinen Widerspruchsbeweis. Ich frage mich, ist jemand mit den Auswirkungen auf die...
Eine Turing-Maschine, die mit ihrem Lese- / Schreibkopf auf derselben Zelle des exakt gleichen Bandes in einen zuvor angetroffenen Zustand zurückkehrt, wird in einer Schleife gefangen. Eine solche Maschine hält nicht an. Kann jemand ein Beispiel für eine ununterbrochene Maschine nennen, die keine...
Vielleicht ist mein begrenztes Verständnis des Themas falsch, aber das ist, was ich bis jetzt verstehe: Die funktionale Programmierung basiert auf Lambda-Kalkül, das von Alonzo Church formuliert wurde. Die imperative Programmierung basiert auf dem Turing-Maschinenmodell, das von Alan Turing, dem...
Ich habe kürzlich eine interessante Analogie gehört, die besagt, dass Turings Beweis für die Unentscheidbarkeit des Stopp-Problems Russells Barbier-Paradoxon sehr ähnlich ist. Also wunderte ich mich: Mathematiker schafften es schließlich, die Mengenlehre konsistent zu machen, indem sie von Cantors...
Laut diesem Wikipedia-Artikel entsprechen uneingeschränkte Grammatiken Turing-Maschinen. Der Artikel stellt fest, dass ich jede Turing-Maschine in eine uneingeschränkte Grammatik umwandeln kann, es wird jedoch nur gezeigt, wie man eine Grammatik in eine Turing-Maschine umwandelt. Wie mache ich das...
Ich bin auf der Suche nach Beispielen für Probleme, die eine Untergrenze von ) für die Eingabe von . xΩ ( | x |2Ω(|x|2\Omega(|x|^2xxx Das Problem muss die folgenden Eigenschaften haben: Ω ( n2)Ω(n2)\Omega(n^2) Laufzeitbeweis für jeden Algorithmus - erste Priorität ist es, ein möglichst einfaches...
Die primäre Definition von Turing machine (TM), zumindest in meinem eigenen Nachschlagewerk (Hopcroft + Ullman 1979), ist deterministisch. Daher ist mein eigenes Verständnis des Halteproblems in erster Linie für deterministisches TM, obwohl mir bewusst ist, dass es für andere Arten von Automaten in...
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine? Ich denke, die Antwort ist ja, aber ich kann keine Berechnung finden, die die Standard-Turing-Maschine kann, aber diese Maschine nicht. Irgendwelche...
Ich beginne ein Buch über Computational Complexity und Turing Machines zu lesen. Hier ist Zitat: Ein Algorithmus (dh eine Maschine) kann als Bitfolge dargestellt werden, sobald wir uns für eine kanonische Codierung entschieden haben. Diese Behauptung ist eine einfache Tatsache, aber ich kann es...
Gibt es eine Turing-Maschine, die bei allen Eingaben anhält, aber diese Eigenschaft ist aus irgendeinem Grund nicht nachweisbar? Ich frage mich, ob diese Frage untersucht wurde. Beachten Sie, dass "unbeweisbar" ein "eingeschränktes" Beweissystem bedeuten kann (das im schwachen Sinne der Meinung...
Es gibt viele (und ich meine viele) zählbare Sprachen, die Turing-entscheidbar sind. Kann jede unzählige Sprache entscheidend
Es gibt keine allgemeine analytische Lösung für das n-Körper-Problem, die eine analytische Funktion erzeugen kann, mit der der Zustand eines n-Körpersystems zum beliebigen Zeitpunkt t mit exakter Genauigkeit angegeben werden kann. Es gibt jedoch einige Sonderfälle von n-Körpersystemen, für die eine...
In dieser Frage werden nur Turing-Maschinen betrachtet, die bei allen Eingaben anhalten. Wenn k∈Nk∈Nk \in \mathbb{N} dann bezeichnen wir mit TkTkT_k die Turingmaschine, deren Code kkk . Betrachten Sie die folgende Funktion s ( x , y) = min { k ∣ | L ( Tk) ∩ { x , y} | = 1
Sei eine feste zeitkonstruierbare Funktion.fff Das klassische universelle Simulationsergebnis für TMs (Hennie und Stearns, 1966) besagt, dass es ein solches Zwei-Band-TM gibtUUU Die Beschreibung eines TM und⟨ M⟩⟨M⟩\langle M \rangle eine Eingabezeichenfolge ,xxx läuft für Schritte und gibt die...
Beachten Sie, dass dies eine Frage ist, die sich auf das Studium in einem CS-Kurs an einer Universität bezieht. Es handelt sich NICHT um Hausaufgaben. Sie finden sie hier unter Prüfung Herbst 20112. Hier sind die beiden Fragen, die ich aus einer früheren Prüfung sehe. Sie scheinen verwandt zu sein,...
Gegenwärtige Schachalgorithmen gehen je nach den Zügen des Spielers und des Gegners etwa 1 oder vielleicht 2 Stufen einen Baum von möglichen Pfaden hinunter. Nehmen wir an, wir haben die Rechenleistung, um einen Algorithmus zu entwickeln, der alle möglichen Bewegungen des Gegners in einem...
Ich benutze einen digitalen Computer, um diese Nachricht zu schreiben. Solch eine Maschine hat eine Eigenschaft, die, wenn Sie darüber nachdenken, tatsächlich bemerkenswert ist: Es ist eine Maschine, die, wenn sie entsprechend programmiert ist, jede mögliche Berechnung durchführen kann . Natürlich...
Es gibt relativistische Raumzeiten (z. B. MH-Raumzeiten; siehe Hogarth 1994), in denen eine Weltlinie unendlicher Dauer in der Vergangenheit eines endlichen Beobachters enthalten sein kann. Dies bedeutet, dass ein normaler Beobachter auf eine unendliche Anzahl von Rechenschritten zugreifen kann....