4
Definizione del problema di arresto per automi non deterministici
La definizione principale di Turing machine (TM), almeno nel mio manuale di riferimento (Hopcroft + Ullman 1979) è deterministica. Quindi la mia comprensione del problema dell'arresto è principalmente per la TM deterministica, anche se sono consapevole che può essere considerata per altri tipi di automi. Ho anche notato che il …