– Un problema di decisione P si dice semi-decidibile (cioè, ha un semi-algoritmo) se il linguaggio L di tutte le istanze yes a P è r.e. – (Problema di equivalenza per DFA) Dati due DFA, accettano la stessa lingua? Dimostrazione: ricorda l'argomento di Cantor dalla prima lezione.
Quando si dice che un problema è semidecidibile?
I problemi semidecidibili sono quelli per che una macchina di Turing si ferma sull'input da essa accettato ma può fermarsi o eseguire un ciclo continuo sull'input che viene rifiutato dalla macchina di Turing. Tali problemi sono definiti come problemi riconoscibili di Turing.
Qual è il problema parzialmente decidibile?
Definizione: Uno il cui linguaggio associato è un linguaggio ricorsivamente enumerabile. Allo stesso modo, esiste un algoritmo che si ferma e restituisce 1 per ogni istanza che ha una risposta "sì", ma per le istanze che hanno una risposta "no" è consentito non fermarsi o arrestarsi e produrre 0.
Il problema dell'arresto è parzialmente decidibile?
Alan Turing dimostrò nel 1936 che un algoritmo generale in esecuzione su una macchina di Turing che risolve il problema dell'arresto per tutte le possibili coppie programma-input non può necessariamente esistere. Quindi, il problema arresto è indecidibile per le macchine di Turing.
Perché il problema dell'arresto è semi-decidibile?
Una lingua si dice semi-decidibile se esiste una macchina di Turing che si ferma se una parola appartiene alla lingua (casi SI) e può rifiutare o andare all'infinito loop se la parola non appartiene alla lingua (NESSUN caso).