venerdì, dicembre 08, 2017

Le macchine di Turing & "The Imitation Game"

Le macchine di Turing

Unità formativa per la settimana del codice http://codeweek.it/ 

 



Leggi l'articolo

Le Macchine di Turing, di Antonio Brogi Antonio Cisternino Francesco Romani, Dipartimento di Informatica -Università di Pisa



Esercitazione

Prova con il nuovo simulatore delle MdT https://www.turingsimulator.net/



















le seguenti macchine di turing elementari. Ricorda la quintupla e costituita da (stato, simbolo letto, nuovo stato, simbolo scritto, direzione)

MdT Pari/Dispari

(0,A,1,-,>)
(1,A,0,-,>)
(1,-,2,D,>)
(0,-,2,P,>)

MdT Successore, sistema di numerazione unario

(0,1,0,1,>)
(0,-,F,1,-)

Prove:

input > output
1 > 11
111 > 1111
- > 1  

MdT Predecessore, sistema di numerazione unario

(0,1,0,1,>)
(0,1,2,-,-)

Prove:

input > output
11 > 1
1111 > 111
- > -  

MdT somma, sistema di numerazione unario

(0,1,0,1,>)
(0,+,1,1,>)
(1,1,1,1,>)
(1,-,2,-,>)
(2,1,3,-,-)

Prove:

input > output
1+1 > 111+111
1+111 > 1111

Letture

Gubitosa: Hacker, scienziati e pionieri
http://www.stampalternativa.it/liberacultura/?p=156

vedi in particolare il Capitolo 5

“Il ragionamento matematico può essere schemati-
camente considerato come l’esercizio della combina-
zione di due caratteristiche, che possiamo chiamare
intuizione e ingenuità”. 
Alan Turing

Alan Turing, pioniere dell'informatica

Da Cambridge Alan Turing ha gettato le basi di discipline scientifiche fondamentali per la modernità, dall'informatica, con la macchina di Turing, all'intelligenza artificiale, con il test di Turing. Significativi anche i suoi contribuiti in embriologia, con particolare riferimento alla morfogenesi.

TreccaniChannel






Rai3 FILM The Imitation Game 1^ Visione RAI

ore 21:15  giovedì 7 dicembre 2017
http://www.rai.it/rai3/
http://www.raiplay.it/programmi/theimitationgame/

The imitation game - trailer italiano ufficiale hd


Nessun commento: