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
Le Macchine di Turing, di Antonio Brogi Antonio Cisternino Francesco Romani, Dipartimento di Informatica -Università di Pisa
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 pionierihttp://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 2017http://www.rai.it/rai3/
http://www.raiplay.it/programmi/theimitationgame/
Commenti