Was ist der Unterschied zwischen Anhalten, Akzeptieren und Entscheiden im Kontext von Turing-Maschinen?

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?

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.