La Macchina di Turing, Slide di Fondamenti di informatica

Scarica La Macchina di Turing e più Slide in PDF di Fondamenti di informatica solo su Docsity! Macchina di Turing LA MACC Per macchina di Turing (o più brevemente MdT) si intende un modello astratto con cui definiamo una macchina in grado di eseguire degli algoritmi e dotata di un nastro infinito su cui leggere e/o scrivere dei simboli, i quali sono posti sul nastro in sequenza. La MdT è stata introdotta come macchina di calcolo nel 1936 da Alan 'l'urino, il quale mostra come tale macchina possa fare tutte quelle elaborazioni effettuabili dagli altri modelli di calcolo già noti all'uomo ( es. funzioni ricorsive, lambda calcolo, logica combinatoria algoritmi ); in base a ciò, si ha la convinzione che per ogni problema calcolabile, vi si una MdT in grado di risolverlo. Inoltre gli algoritmi che vengono eseguiti da una Md'l' si dicono "algoritmi ‘l'uring-computabili". Storia Alan Turing è stato uno dei pionieri nel settore degli elaboratori elettronici e, più in generale, in quello dell'informatica e dell'intelligenza artificiale. La macchina venne realizzata all’incirca nel 1933 per risolvere un difficile problema matematico. La Macchina di Turing, era ed è un vero e proprio computer, potendo manipolare qualsiasi informazione con estrema precisione. In sostanza, come la macchina di Babbage, poteva: leggere, scrivere, memorizzare ed elaborare qualunque informazione. La grande valenza del lavoro di Turing fu quella di dimostrare che: nessun sistema in grado di trattare informazioni, comunque fosse fatto e qualunque cosa sapesse fare, avrebbe potuto essere più potente della sua macchina astratta, basata sulle suddette capacità basilari. Altre macchine possono funzionare in modo più veloce o più economico, ma nessuna è in grado di fare di più, qualunque sia la serie di operazioni fondamentali che è capace di compiere. Nel 1939 Turing andò a lavorare per il governo e l'anno successivo, insieme con altri scienziati inglesi, costruì Bomba, un computer in grado di decifrare i messaggi cifrati dai tedeschi tramite Enigma, contribuendo non poco al successo degli alleati nella seconda guerra mondiale.