Fragen zum Halteproblem, bei denen entschieden wird, ob ein bestimmtes Programm bei einer bestimmten Eingabe anhält.
Ich verstehe nicht, warum das Problem des Anhaltens so oft verwendet wird, um festzustellen, ob ein Programm anhält. Die Wikipedia [article] [1] erklärt zu Recht, dass eine deterministische Maschine mit endlichem Speicher einen vorherigen Zustand anhält oder wiederholt. Sie können den Algorithmus...
Wir wissen, dass das Stopp-Problem (bei Turing-Maschinen) für Turing-Maschinen nicht zu entscheiden ist. Gibt es Forschungen darüber, wie gut der menschliche Verstand mit diesem Problem umgehen kann, möglicherweise unterstützt durch Turing Machines oder Allzweckcomputer? Hinweis : Natürlich kann...
Alan Turing schlug ein Modell für eine Maschine vor (die Turing Machine, TM), die berechnet (Zahlen, Funktionen usw.) und den Haltesatz bewies . Ein TM ist ein abstraktes Konzept einer Maschine (oder eines Motors, wenn Sie möchten). Der Haltesatz ist ein Unmöglichkeitsergebnis. Eine Carnot-Engine...
Ich verstehe den Beweis für die Unentscheidbarkeit des Halteproblems (zum Beispiel in Papadimitrious Lehrbuch), basierend auf der Diagonalisierung. Obwohl der Beweis überzeugt (ich verstehe jeden Schritt davon), ist er für mich nicht intuitiv in dem Sinne, dass ich nicht sehe, wie jemand ihn...
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...
Das Problem des Anhaltens besagt, dass es keinen Algorithmus gibt, der feststellt, ob ein bestimmtes Programm anhält. Infolgedessen sollte es Programme geben, über die wir nicht sagen können, ob sie enden oder nicht. Was sind die einfachsten (kleinsten) bekannten Beispiele für solche...
Es ist ziemlich einfach zu verstehen, warum das Problem des Anhaltens für unreine Programme (dh Programme mit E / A und / oder Zuständen, die vom maschinenglobalen Zustand abhängen) nicht entschieden werden kann. aber intuitiv scheint es, dass das Anhalten eines reinen Programms auf einem idealen...
Ich habe die " Fünf Stufen der Akzeptanz der Konstruktiven Mathematik " von Andrej Bauer gesehen und er sagt, dass es zwei Arten von Beweisen durch Widerspruch gibt (oder zwei Dinge, die Mathematiker Beweise durch Widerspruch nennen): Angenommen, ist falsch ... bla bla bla, Widerspruch. Daher ist...
Wie schwarze Löcher in der Informatik. Wir können nur wissen, dass sie existieren, aber wenn wir einen von ihnen haben, werden wir nie wissen, dass es einer von ihnen
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . "Alan Turing hat 1936 bewiesen, dass ein allgemeiner Algorithmus zur Lösung des Halteproblems für alle möglichen...
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...
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...
Nach meinem Verständnis des Beweises, dass das Problem des Anhaltens nicht berechenbar ist, ist dieses Problem nicht berechenbar, da wir, wenn wir ein Programm P (x) haben, das berechnet, ob das Programm x anhält oder nicht, ein Paradox erhalten, wenn wir P als Eingabe für das Programm geben...
Wäre es einer Laufzeitumgebung möglich, Endlosschleifen zu erkennen und anschließend den zugehörigen Prozess zu stoppen, oder wäre die Implementierung einer solchen Logik gleichbedeutend mit der Lösung des Halteproblems? Für den Zweck dieser Frage definiere ich eine "Endlosschleife" als eine Reihe...
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...
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 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....
Ich habe das problem: Zeigen Sie, dass es eine reelle Zahl gibt, für die kein Programm existiert, das unendlich lange läuft und die Dezimalstellen dieser Zahl schreibt. Ich nehme an, es kann gelöst werden, indem man es auf das Halting-Problem reduziert, aber ich habe keine Ahnung, wie ich das tun...
Ich habe in Wikipedia und einigen anderen Texten gelesen, dass Das Problem des Anhaltens ist für [...] linear begrenzte Automaten (LBAs) und deterministische Maschinen mit endlichem Speicher [...] entscheidbar . Aber früher steht geschrieben, dass das Halteproblem ein unentscheidbares Problem ist...
Ich habe Probleme, Turings Problem zu verstehen. Sein Beweis geht davon aus, dass es eine magische Maschine die bestimmen könnte, ob ein Computer für eine bestimmte Eingabe für immer anhalten oder eine Schleife bilden würde. Dann schließen wir eine andere Maschine an, die die Ausgabe umkehrt, und...