Logo it.boatexistence.com

Quando si dice che un problema p è semi decidibile?

Sommario:

Quando si dice che un problema p è semi decidibile?
Quando si dice che un problema p è semi decidibile?

Video: Quando si dice che un problema p è semi decidibile?

Video: Quando si dice che un problema p è semi decidibile?
Video: Corso di Calcolabilità e Complessità - Lezione del 31 Marzo 2020 2024, Maggio
Anonim

– 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).

Consigliato: