Turing makineleri bağlamında durdurma, kabul etme ve karar verme arasındaki fark nedir?

Kabul etmek, TM'nin şu anda okuduğu hücreden bir karakter okuyacağı ve tanıyacağı anlamına mı geliyor? Ve bir TM karar verilebilirse bir TM durur mu?

Bir Turing makinesinin sonunda girebileceği durumu kabul etme ve reddetme, yalnızca bir hücreden gelen simgeye değil, banttan okunan dizeye dayanır. Tabii ki, kabul veya reddetme bandına girme kararı nihayetinde bir sembol temelinde verilir.

Bir Turing makinesi nihayetinde kabul eden bir duruma girebilir, reddetme durumuna girebilir veya sonsuza dek döngü yapabilir. Kabul eden veya reddeden bir duruma girerse durur.

Bir Turing makinesinin tüm girişlerde durması durumunda toplam olduğu söylenir.

Bir Turing makinesi tarafından kabul edilen dil, Turing makinesine girdi olarak sağlandığında Turing makinesinin kabul eden bir duruma girmesine neden olan tüm kelimeler kümesidir.

Bir dilin, yalnızca dili kabul edecek toplam bir Turing makinesi varsa karar verilebilir olduğu söylenir.