3 relazioni: Computabilità, Macchina di Turing, Problema della terminazione.
Computabilità
La teoria della computabilità effettiva si occupa della esistenza o meno di algoritmi risolutivi di problemi.
Nuovo!!: Alacre castoro e Computabilità · Mostra di più »
Macchina di Turing
In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.
Nuovo!!: Alacre castoro e Macchina di Turing · Mostra di più »
Problema della terminazione
Il problema della terminazione (dall'inglese Halting problem, tradotto anche con problema dell'arresto o problema della fermata) chiede se sia sempre possibile, descritto un algoritmo e un determinato input finito, stabilire se l'algoritmo in questione termini o continui la sua esecuzione all'infinito.
Nuovo!!: Alacre castoro e Problema della terminazione · Mostra di più »