Definizione di macchina di Turing

Quando il mondo si stava dirigendo verso una nuova conflagrazione globale, negli anni '30, la scienza del informatica Avanzava anche, guidato in molti casi dalla preparazione allo sforzo bellico che alcuni già anticipavano sarebbe arrivato.

È in questo contesto che il matematico britannico Alan Turing (considerato a posteriori uno dei padri della informatica moderno) sviluppa la sua opera e, nel 1936, postula quelli che saranno i fondamenti della computer moderno.

La chiamata macchina di Turing È un dispositivo teorico in grado di elaborare i dati secondo determinate regole.

Sia le regole che i dati sono separati; infatti, Turing immaginava che le regole sarebbero state memorizzate su un qualche tipo di supporto fisso, mentre i dati verrebbero memorizzati su nastri che la stessa macchina potrebbe modificare secondo la tabella di regole.

Vediamo chiaramente in questo modello concettuale un anticipo di ciò che saranno i computer moderni: anche se si ha un livello di

Nome utente semplice, puoi facilmente vedere la distinzione tra i app "Immutabile" (con sfumature, ma in questo caso prendiamola così) e i dati, che possono essere modificati seguendo delle regole, che sarebbero le programmazione.

Sebbene la macchina di Turing teorica sia terribilmente semplice, eseguendo solo operazioni di base come il cambio di stato, il lettura e scrittura, è in grado di eseguire tutti i calcoli matematici che un calcolatore meccanico può eseguire utilizzando un algoritmo.

In altre parole, se un problema potesse essere espresso attraverso a algoritmo Per iscritto, potrebbe essere elaborato - almeno a livello teorico - da una macchina di Turing.

Alan Turing lo concepì come un esercizio per dimostrare che c'erano problemi matematici che i computer non potevano risolvere.

Il nastro dati, che Turing concepiva come infinito, può essere spostato dalla macchina da destra a sinistra e da sinistra a destra, come una vecchia cassetta o un nastro di pellicola che può essere riavvolto o fatto avanzare per riservatezza.

L'insieme delle regole può essere inteso anche come un linguaggio di programmazione, poiché deve avere una sintassi logica e coerente.

Col senno di poi, altri matematici hanno realizzato versioni più sofisticate della Macchina di Turing.

Quindi, ci sono macchine con due bande, deterministe o anche una macchina quantistica di Turing che può aiutare, come fece il suo illustre antenato, a gettare le basi del tanto atteso computo quantistico.

Foto Fotolia: Chrisdorney / Steve Simmons

Argomenti in Macchina di Turing