jump to navigation

La macchina di Turing aprile 21, 2008

Posted by linux2000 in Senza Categoria.
trackback
Essa consiste in un modello astratto di macchina per formalizzare la definizione di procedura effettiva o algoritmo, stabilendo cosi`una nozione di computabilita`.Partendo dall’idea di calcolo, inteso come manipolazione di simboli secondo regole, Turing elaboro`un modello costituito da un’unita`di controllo capace di un numero finito di stati e da una testina in grado di riconoscere e di scrivere simboli, presi da una collezione finita, nelle celle di un nastro potenzialmente infinito. Le operazioni della macchina sono guidate da una tabella che, per ogni stato e per ogni carattere letto sul nastro, stabilisce cosa debba esservi sostituito e in quale direzione spostare la testina. Una macchina di Turing corrisponde alla struttura logica di una programma. Il cuore della prova di Turing e`la definizione di una macchina universale, la quale e`capace di imitare qualunque altra macchina, una volta che la relativa tabella dei comportamenti e l’ingresso adatto a questa macchina siano memorizzati su nastro. Questa idea e`riconosciuta come la base teorica dei moderni elaboratori.
Per ulteriori informazioni sulla macchima di Turing: it.wikipedia.org

Annunci

Commenti»

No comments yet — be the first.

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...

%d blogger hanno fatto clic su Mi Piace per questo: