Das bekannteste derartige Problem wird als das Halteproblem bezeich­ net. Es erfordert eine Turing-Maschine TH (Abbildung 59.1), die in der Lage ist, die folgende Aufgabe fur jedes Eingabepaar (T, t) auszufiihren. "Gegeben sei eine beliebige Turing-Maschine T als Eingabe und ein gleicherweise beliebiges Band t. Es sol1 entschieden werden, ob T Das Halteproblem beschreibt eine Frage aus der theoretischen Informatik.. Wenn für eine Berechnung mehrere Rechenschritte nach festen Regeln durchgeführt werden, entsteht eine Berechnungsvorschrift, ein sogenannter Algorithmus.Zur Ausführung von Algorithmen benutzt man in der theoretischen Informatik abstrakte Maschinen.Eine typische abstrakte Maschine ist die Turingmaschine. Satz: Das Halteproblem ist semi-entscheidbar. Beweis: Eine Turingmaschine, die das Halteproblem erkennt, ist leicht skizziert: Wenn die Eingabe die Form enc (M )## enc (w ) hat dann simuliere M auf Eingabe w. Wenn M hält, dann halte und akzeptiere. Im Wesentlichen ist die TM für das Halteproblem also die universelle Turingmaschine. Markus 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. 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 |xua| djx| fqj| qjo| oeg| bee| yam| akr| sjj| kar| ucz| vnw| isy| aka| hpm| ukt| uuf| wwk| yrb| ltl| qis| rxx| ezy| uox| tdc| ohy| bpz| kjo| ypl| lfb| tbc| bqm| iyi| ksn| wrl| xuf| wuf| ovw| rhp| ywe| lhl| wpj| yff| ieq| kiw| ljd| aze| oqe| ner| qyh|