Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Installa
l'accesso più veloce di browser!
 

Alacre castoro

Indice Alacre castoro

Nella teoria della computabilità un alacre castoro (in inglese "busy beaver", letteralmente "castoro indaffarato", dall'espressione colloquiale per indicare una persona industriosa) è una macchina di Turing che ottiene la massima "attività delle operazioni" (come misurato dal numero di passi eseguiti, o dal numero dei simboli non vuoti che essa stampa sul nastro) tra tutte quelle in una determinata categoria.

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ù »

Riorienta qui:

Busy beaver.

UscenteArrivo
Ehi! Siamo su Facebook ora! »