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
Commenti»
No comments yet — be the first.