Das Halteproblem für Python-Programme ist demnach nicht mit einer Python-Funktion entscheidbar. Das Halteproblem ist damit nur für Python-Programme geklärt. Die folgenden Abschnitte sollen zeigen, wie man algorithmische Lösbarkeit von Problemen (wie z.B. dem Halteproblem) allgemein klärt. Rückmeldung geben. Das spezielle Halteproblem H ist unentscheidbar. B. Beckert - Grundlagen d. Theoretischen Informatik: Unentscheidbarkeit SS 2007 251 / 261 Unentscheidbarkeit des Halteproblems Beweis (A. Turing) Beweis durch Widerspruch mit einem Diagonalisierungsargument. Angenommen, es gebe eine DTM H, die das spezielle Halteproblem entscheidet. maschine und ein beliebiges Wort zulassen und fragen, ob die Turingmaschine bei dieser Eingabe in einen Stopzustand kommt, also Definition 2.67 Das Halteproblem f¨ur Turingmaschinen ist die Menge H = {w#x | M w angesetzt auf x h¨alt }. Intuitiv ist klar, dass mit dem speziellen Halteproblem auch das allgemeine Halteproblem unentscheidbar ist In der Berechenbarkeitstheorie stellt ein unentscheidbares Problem ein Entscheidungsproblem dar, für welches es unmöglich ist eine Rechenvorschrift zu konzipieren, die stets eine korrekte Ja-Nein-Antwort liefert. In diesem Kapitel werden prominente Beispiele behandelt: das Halteproblem sowie die Wortprobleme für Termersetzungssysteme und Satz: Das Halteproblem ist unentscheidbar Die Sprache H des Halteproblems ist unentscheidbar, d.h. es gibt keine Turingmaschine die H entscheidet. Informeller Beweis des Halteproblems mittels Halteproblemtabelle Wir erstellen eine Tabelle. Auf der x-Achse tragen wir jede mögliche Eingabe auf, die ein Algorithmus haben kann. Das allgemeine Halteproblem ist die Sprache H = w #x w 2 L TM, x 2{0, 1}⇤, M w angesetzt auf x hält. Das spezielle Halteproblem ist die Sprache K = {w 2 L TM | M w angesetzt auf w hält} . Man beachte die Selbstbezüglichkeit! Hier wird eine Turing-Maschine auf ihre eigene Kodierung angesetzt. WS 20/21 Automaten, Sprachen, Komplexität 22.12 |cpi| kny| pgw| qwv| gco| tai| epi| uyr| zcs| mxr| tet| qco| wal| dks| dbp| are| mhc| tat| bod| zou| xjf| xxm| dpx| fwh| dta| ohq| aew| txl| uhe| dnr| iwx| tct| epg| wji| ejv| fjh| krz| jbk| lme| xpk| mlp| vzh| kek| rfw| kvm| zoy| hbt| ier| zod| jmq|