Bedeutet Akzeptieren, dass das TM ein Zeichen aus der Zelle liest und erkennt, aus der es gerade liest? Und ist es der Fall, dass ein TM anhält, wenn die Eingabe entscheidbar ist?
terminology
turing-machines
undecidability
sdfasdgasg
quelle
quelle
Antworten:
Das Akzeptieren und Ablehnen des Status, in den eine Turing-Maschine möglicherweise eintreten wird, basiert auf der vom Band gelesenen Zeichenfolge und nicht nur auf dem Symbol aus einer Zelle. Natürlich wird die Entscheidung über die Eingabe eines akzeptierenden oder ablehnenden Bandes letztendlich auf der Grundlage eines Symbols getroffen.
Eine Turing-Maschine kann entweder irgendwann in einen akzeptierenden Zustand eintreten, in einen ablehnenden Zustand eintreten oder für immer eine Schleife bilden. Wenn es in einen akzeptierenden oder ablehnenden Zustand übergeht, wird es angehalten.
Eine Turing-Maschine gilt als total, wenn sie an allen Eingängen anhält.
Die von einer Turing-Maschine akzeptierte Sprache ist die Menge aller Wörter, die, wenn sie als Eingabe für die Turing-Maschine bereitgestellt werden, die Turing-Maschine in einen akzeptierenden Zustand versetzen.
Eine Sprache gilt nur dann als entscheidbar, wenn es eine vollständige Turing-Maschine gibt, die die Sprache akzeptiert.
quelle