Macchina di Turing

C'è qualcuno che sa dirmi dove posso trovare appunti abbastanza dettagliati sulla Macchina di Turing?

(Toglietemi una curiosità: è veramente importante per un ingegnere informatico sapere come funziona questa macchina?)

Grazie

mmh, non so cosa tu stia cercando, cmq questa è la dispensa di un prof di Udine (A. Dovier) per Fondamenti di Informatica: http://www.dimi.uniud.it/~dovier/DID/dispensa.pdf . Il capitolo sulle macchine di Turing è l'undicesimo: i paragrafi sono "descriz modellistica e matematica", "funzioni calcolabili da MdT", "MdT generalizzate". Spero possa servirti. Sulla pagina http://www.dimi.uniud.it/~dovier/DID/FI/fi2.html trovi anche un eserciziario.
ciao
daniele