Domanda della macchina riconoscibile Turing (rifiuto / loop)

Question

La definizione di dimostrazione della riconoscibilità utilizzando la coda di Dove è sotto. Tuttavia mi chiedo se possiamo anche dimostrare loop o rifiutare allo stesso modo?

Dare una TM deterministica che riconosce l tale che se $ w in l $ Quindi D accetta w. O se $ w notin l $, Quindi D non accetta $ w $. Mi sono reso conto che questa definizione afferma se D accetta a $ w $ piace

$ A _ {*111} = { langle m rangle mid m $ è un TM e $ M $ accetta qualche stringa che termina con 111$\}$, che è riconoscibile e facile da dimostrare attraverso il coda di coda.

Ora che ne dici

$ R _ {*111} = { langle m rangle mid m $ è un TM e $ M $ rifiuta una stringa che termina con 111$\}$? È anche riconoscibile e la prova sarebbe la stessa di quella sopra? Penso che funzionerà ma che ne dici di

$ L _ {*111} = { langle m rangle mid m $ è un TM e $ M $ Loops su una stringa che termina con 111$\}$?

Come si controlla se qualcosa si diffonde?