Qual è la differenza tra fermare, accettare e decidere nel contesto delle macchine Turing?

Accettare significa che il TM leggerà e riconoscerà un carattere dalla cella da cui sta attualmente leggendo? Ed è un caso che una TM si fermi se l'ingresso è decidibile?

Accettare e rifiutare lo stato in cui una macchina Turing può eventualmente entrare, si basa sulla stringa letta dal nastro, non solo sul simbolo di una cella. Naturalmente, la decisione di inserire un nastro di accettazione o di rifiuto viene in definitiva presa sulla base di un simbolo.

Una macchina Turing può eventualmente entrare in uno stato di accettazione, entrare in uno stato di rifiuto o fare un ciclo per sempre. Se entra in uno stato di accettazione o di rifiuto, si ferma.

Una macchina di Turing si dice totale se si ferma su tutti gli ingressi.

La lingua accettata da una macchina Turing è l'insieme di tutte le parole che, quando fornite come input alla macchina Turing, fanno sì che la macchina Turing entri in uno stato accettante.

Si dice che una lingua è decidibile se e solo se esiste una macchina di Turing totale che accetterà la lingua.