Berücksichtigt man nur das Alphabet , stammen die Zeichenfolgen, die als Eingabe für die Turing-Maschinen verwendet werden können, aus der Menge . Aber macht es Sinn, dass die Eingabe eine unendliche Binärzeichenfolge ist? Wenn beispielsweise eine Turing-Maschine alle Zeichenfolgen akzeptiert, die mit einer 0 beginnen, gehört eine binäre Zeichenfolge mit unendlichen Nullen ebenfalls zu der von der Turing-Maschine akzeptierten Sprache?
turing-machines
Schärpen
quelle
quelle
Das ist eines der Merkmale von Turingmaschinen des Typs 2 . Sie dienen unter anderem dazu, die Berechenbarkeit von Funktionen zwischen reellen Zahlen zu analysieren. Noch interessanter ist, dass sie verwendet werden, um die Berechenbarkeit von Operatoren wie der Integration zu analysieren.
Coole Tatsache: Eine exakte numerische Integration ist berechenbar.
quelle
Zur Beantwortung der Frage "Macht es Sinn?" Kann dies sogar nützlich sein, wenn Sie Turing-Maschinen in Betracht ziehen, die in endlicher Zeit laufen.
Insbesondere ist dies eine sehr nützliche Art, sich Turing-Maschinen ohne Präfix vorzustellen . Hierbei handelt es sich um Maschinen, bei denen die Eingabe von Stopps keine Präfixe enthält. Das heißt, keine Eingabe, die zum Anhalten des Computers führt, ist das Präfix einer anderen. Diese haben die gleiche Leistung wie normale Turing-Maschinen, jedoch nur, wenn wir der Turing-Maschine erlauben, ihre eigenen Halteeingaben zu bestimmen: dh. Der Benutzer hat keine Ahnung, bei welchen Eingaben die Maschine anhält (und dies ist eine unentscheidbare Eigenschaft).
Eine Möglichkeit, dies zu sehen, ist eine normale Turing-Maschine mit einem unendlichen Einweg-Eingabeband mit einem Bandkopf, der sich nicht zurückbewegen kann. Der Benutzer füllt das Band mit Bits und führt die Maschine aus. Dies ist per Definition eine präfixfreie Turingmaschine. Wenn die Maschine anhält, muss sie nur eine begrenzte Anzahl von Bits gelesen haben, und kein Präfix dieses Teils des Bandes kann ein Programm sein, oder die Maschine hätte stattdessen dort angehalten.
Dies ist ein guter Weg, um über berechenbare Wahrscheinlichkeitsverteilungen zu sprechen: Der Benutzer füllt das Band mit zufälligen Bits (der Zufallsquelle der Maschine) und die Maschine spuckt eine zufällige Bitfolge aus. Die Menge all dieser Turing-Maschinen entspricht der Menge der berechenbaren Verteilungen (insbesondere der unteren halbberechenbaren Halbmaße).
Der Vorteil der unendlichen Eingabe besteht darin, dass wir nicht angeben müssen, was die Maschine tut, wenn wir ihr das Präfix eines Stoppprogramms geben, d. H. Die Maschine versucht, über das Ende der von uns eingegebenen Eingabe hinaus zu lesen.
quelle
Selbst wenn Sie kein solches Band haben, können Sie eine andere Turing-Maschine verwenden, um es zu produzieren.
Eine Turing-Maschine hat Zugriff auf das leere, aber unendliche Datenband (oder einige Quellen besagen, dass in der Maschine nur eine kleine Bandfabrik eingebaut ist). So kann es mit einem programmierbaren Datenmuster initialisiert werden, und das Band kann dann als Eingang einer anderen Turing-Maschine verwendet werden.
Wenn Ihr Inhalt so ist, dass kein Algorithmus zu seiner Erstellung definiert werden kann, kann dieser Inhalt natürlich nicht von Turing machine erstellt werden.
quelle
In einigen Fällen kann eine unendliche Eingabe in Betracht gezogen und auf die Aktion einer "normalen" Turing-Maschine reduziert werden. Betrachten Sie beispielsweise ein sich unendlich wiederholendes endliches Muster, das in der Eingabe angegeben ist. Es kann eine Turing-Maschine erstellt werden, die festhält, wie viel dieses unendlichen Musters durch die aktuellen Aktionen des Bandkopfs unter Verwendung einer begrenzten Menge an Speicher / Bandspeicher geändert wurde. Mit anderen Worten, es simuliert "äquivalent" ein unendliches Größenmuster auf dem Band.
Ein anderer Fall, in dem "unendliche Eingabe" in Betracht gezogen wurde, ist die Analyse der Turing-Äquivalenz / Vollständigkeit von zellulären Automaten. In einem komplexen Beweis führte Cook ein Konzept ein, das nun von einigen als "schwache Turing-Äquivalenz" bezeichnet wird, wenn CA 110- Regeloperationen in Turing-Maschinenoperationen konvertiert werden, die auf einem unendlich festgelegten Anfangsband beginnen, jedoch (sich wiederholende) Muster endlicher Größe aufweisen.
quelle
In formalen Sprachen ist eine Zeichenfolge per Definition eine endliche Folge von Symbolen. Eine klassische Turing-Maschine hat ein Endlosband mit einer endlichen Eingabesaite. Obwohl es keine Begrenzung für die Länge der Eingabe gibt, kann sie nicht unendlich sein.
Allerdings gibt es viele alternative Maschinen, die ähnlich wie ein TM funktionieren, jedoch mit unendlichen Eingabesequenzen.
Ob eine Eingabe von unendlicher Länge sinnvoll ist, hängt vom Verwendungszweck ab. Streng genommen im Kontext von Turing-Maschinen ergibt es keinen Sinn (da es nicht möglich ist), aber im Kontext von Turing-ähnlichen Maschinen ergibt es Sinn und es hat viele Anwendungen.
quelle