Als «turing-machines» getaggte Fragen

Fragen zu Turing-Maschinen, einem theoretischen Modell der mechanischen Berechnung, mit dem jedes Computerprogramm simuliert werden kann.

8
Warum können wir annehmen, dass ein Algorithmus als Bitfolge dargestellt werden kann?
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 nicht verstehen. Zum Beispiel, wenn ich …
3
Gibt es ein TM, das bei allen Eingaben angehalten wird, dessen Eigenschaft jedoch nicht nachweisbar ist?
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 ist, dass die Antwort ja sein muss). Ich interessiere …
1
Entspricht die Unlösbarkeit des N-Körper-Problems dem Halteproblem?
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 analytische Funktion bekannt ist. Ebenso gibt es keinen allgemeinen …
5
Turingmaschine + Zeitdilatation = Halteproblem lösen?
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. Vorausgesetzt, es ist möglich, dass ein Computer unendlich lange perfekt funktioniert …
8
Kardinalität des Satzes von Algorithmen
Jemand in einer Diskussion brachte vor, dass (er meint) es zumindest eine ununterbrochene Anzahl von Strategien geben kann, um sich einem bestimmten Problem zu nähern. Das spezifische Problem waren Handelsstrategien (nicht Algorithmen, sondern Strategien), aber ich denke, das ist neben dem Punkt für meine Frage. Dies brachte mich dazu, über …
6
Kann es einen perfekten Schachalgorithmus geben?
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 Schachspiel vorhersagt. Ein Algorithmus, der alle …
2
Warum ist die Vollständigkeit von Turing richtig?
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 reichen Rechenmaschinen der einen oder anderen Art bis in …
2
Verbindung zwischen NAND-Gattern und Turing-Vollständigkeit
Ich weiß, dass NAND-Gatter verwendet werden können, um Schaltkreise zu erstellen, die jede Wahrheitstabelle implementieren, und moderne Computer bestehen aus NAND-Gattern. Was ist der theoretische Zusammenhang zwischen NAND-Gattern und Turing-Vollständigkeit? Es scheint mir, dass NAND-Gatterschaltungen näher an endlichen Automaten liegen als Turing-Maschinen. Meine Intuition ist, dass ich Flip-Flops und damit …
3
Unentscheidbares Problem und seine Verneinung ist unentscheidbar
Viele "berühmte" unentscheidbare Probleme sind dennoch zumindest halbentscheidbar, und ihre Ergänzung ist unentscheidbar. Ein Beispiel kann vor allem das Stopp-Problem und seine Ergänzung sein. Kann mir jemand ein Beispiel geben, in dem sowohl ein Problem als auch seine Ergänzung unentscheidbar und nicht halbentscheidbar sind? Ich habe über die Diagonalisierungssprache Ld …
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.