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 verwenden, der erkennt, ob eine verknüpfte Liste Schleifen …
Ich habe immer vage gedacht, dass die Antwort auf die obige Frage im folgenden Sinne positiv war. Der Unvollständigkeitssatz von Gödel und die Unentscheidbarkeit des Halteproblems sind negative Ergebnisse in Bezug auf die Entscheidbarkeit und werden durch diagonale Argumente (und in den 1930er Jahren) begründet. Sie müssen also irgendwie zwei …
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 man im engeren Sinne immer nein sagen, da es Turing-Maschinen gibt, die …
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 (CE) ist ein abstraktes Konzept einer …
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 ableiten würde, ausgehend vom Problem alleine. In …
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 . …
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 Programme?
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 Computer z. B. durch …
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 wahr.PPPPPPP Angenommen, 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 ist.
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 Programm-Eingabe-Paare nicht existieren kann." Kann ich einen allgemeinen Algorithmus …
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 Schleife ausführt?
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 naiver Feldformulierung zu einem komplexeren Axiomensystem übergingen (ZFC-Mengenlehre) und dabei wichtige …
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 dasselbe P …
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 von Anweisungen und zugehörigen Start-Stack- / Heap-Daten, die den Prozess …
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 Betracht gezogen werden kann. Mir ist auch …
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 …
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 …
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 und daher kann TM es nicht lösen! Da LBA …
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 wir haben einen …
Ich las eine Antwort auf eine kürzlich gestellte Frage und kam mir ein seltsamer, vergänglicher Gedanke in den Sinn. Meine Bitte könnte verraten, dass meine Theorie ernsthaft fehlt (meistens wahr) oder dass es für mich einfach zu früh ist, diese Seite zu lesen. Nun, mit dem Haftungsausschluss aus dem Weg …
Ich verstehe, dass die meisten Probleme trivial sind, wenn ein haltendes Orakel verfügbar ist (oder, ich denke gleichwertig, Hyperberechnung). Die Anwendung des Arguments, das das Halteproblem anzeigt, ist für eine Turing-Maschine jedoch unmöglich. Dies zeigt auch, dass es für ein Turing-Orakel unmöglich ist, das Halteproblem für ein Turing-Orakel zu entscheiden. …
Ich habe versucht herauszufinden, ob das Problem des Anhaltens für eindimensionale 3-Symbol-Zellularautomaten entscheidbar ist. Definition Es sei die Konfiguration des Systems zum Zeitpunkt i . Formaler f : A ∗ × N → A ∗ , wobei A das Alphabet ist.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Definition. Ein zellularer Automat hat in …
In dem Halteproblem sind wir interessiert, ob es eine Turingmaschine , die erkennen kann, ob eine gegebene Turingmaschine M an einem gegebenen Eingang i anhält oder nicht . Normalerweise beginnt der Beweis mit der Annahme, dass ein solches T existiert. Dann betrachten wir einen Fall, in dem wir i auf …
In Chaitins Meta Math! Die Suche nach Omega , er spricht kurz über Hilberts 10. Problem. Er sagt dann, dass jede diophantinische Gleichung in zwei gleiche Polynome mit positiven ganzzahligen Koeffizienten geändert werden kann: p = 0p = 0p=0p=0 .p = 0⟺p1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Dann sagt er, …
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 …
Diese Frage kam mir über das Problem des Anhaltens und ich konnte online keine gute Antwort finden und fragte mich, ob jemand helfen kann. Ist es möglich, dass das Stoppproblem für jedes TM an einem Eingang entscheidbar ist, solange der Eingang nicht das TM selbst ist? Grundsätzlich: Halts(TM, I) IF …
Nach dieser Quelle ist Chaitins Konstante normal.ΩΩ\Omega Jede Stoppwahrscheinlichkeit ist eine normale und transzendentale reelle Zahl, die nicht berechenbar ist, was bedeutet, dass es keinen Algorithmus gibt, um ihre Ziffern zu berechnen. In der Tat ist jede Stoppwahrscheinlichkeit Martin-Löf-zufällig, was bedeutet, dass es nicht einmal einen Algorithmus gibt, der seine …
Ich versuche einen Weg zu finden, um die Idee des Halting Problem-Beweises so zugänglich wie möglich zu erklären (für CS-Studenten). Das einfachste Argument, das ich gefunden habe, ist dieses ; Dies ist genau die Art der Behandlung, die ich anstrebe. Die Selbstreferenz (insbesondere die Überprüfung, ob ein Programm auf sich …
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.