Jaka jest różnica między zatrzymywaniem, akceptowaniem i podejmowaniem decyzji w kontekście maszyn Turinga?

Czy zaakceptowanie oznacza, że ​​TM odczyta i rozpozna znak z komórki, z której obecnie czyta? I czy tak się dzieje, że TM zatrzymuje się, jeśli dane wejściowe są rozstrzygalne?

Akceptowanie i odrzucanie stanu, w jakim ostatecznie może wejść maszyna Turinga, opiera się na łańcuchu odczytanym z taśmy, a nie tylko na symbolu z jednej komórki. Oczywiście decyzja o wprowadzeniu taśmy akceptującej lub odrzucającej jest ostatecznie podejmowana na podstawie jednego symbolu.

Maszyna Turinga może ostatecznie wejść w stan akceptacji, stan odrzucenia lub zapętlić na zawsze. Jeśli wejdzie w stan akceptacji lub odrzucenia, wówczas się zatrzyma.

Mówi się, że maszyna Turinga jest totalna, jeśli zatrzymuje się na wszystkich wejściach.

Język akceptowany przez maszynę Turinga jest zbiorem wszystkich słów, które po wprowadzeniu do maszyny Turinga powodują, że maszyna Turinga przechodzi w stan akceptacji.

Mówi się, że język jest rozstrzygalny tylko wtedy, gdy istnieje maszyna Turinga, która zaakceptuje ten język.