Als «halting-problem» getaggte Fragen

Fragen zum Halteproblem, bei denen entschieden wird, ob ein bestimmtes Programm bei einer bestimmten Eingabe anhält.

12
Warum ist das Halteproblem wirklich so wichtig?
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 …

5
Gibt es einen konkreten Zusammenhang zwischen Gödels Unvollständigkeitssatz, dem Halteproblem und universellen Turingmaschinen?
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 …

10
Menschliche Rechenleistung: Können Menschen das Stopp-Problem bei Turing Machines entscheiden?
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 …


7
Gibt es einen intuitiveren Beweis für die Unentscheidbarkeit des Halteproblems als die Diagonalisierung?
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 …

2
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?
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 . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 





6
Algorithmus zur Lösung von Turings "Halting Problem"
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 …


5
Könnte das Problem des Anhaltens „gelöst“ werden, indem zu einer Beschreibung der Berechnung auf höherer Ebene übergegangen wird?
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 …


4
Kann eine Laufzeitumgebung eine Endlosschleife erkennen?
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 …

4
Definieren des Halteproblems für nicht deterministische Automaten
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 …

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 …

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 …





1
Gibt es irgendwelche Probleme, die mit einem haltenden Orakel nicht lösbar wären?
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. …

1
Ist das Halteproblem für eindimensionale zelluläre Automaten mit drei Symbolen entscheidbar?
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 …

2
Problem ohne Selbstreferenz stoppen
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 …




2
Chaitins Konstante ist normal?
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 …


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.