> Poiche' tale casualita' sarebbe modellabile, ma non predicibile a
> priori da una macchina di Turing, mi sono chiesto se per caso non
> fosse proprio questo l'ingradiente da aggiungere ad una macchina di
> Turing per renderla non tale.
La risposta � un secco NO. Di fatto le macchine di turing non
deterministiche (MTND) sono del tutto equivalenti (in termini di
accettazione di un linguaggio) ad una macchina di turing deterministica
(MTD) . Basta che la MTD si passi tutte le possibilit� della MTND una
dopo l'altra. Cambia il tempo di computazione, ma non i calcoli
effettivamente eseguibili, cio� quello che � computabile da una �
computabile dall'altra classe di macchine. Maggiori dettagli qui
http://en.wikipedia.org/wiki/Non-deterministic_Turing_machine .
Sul problema della mente ho poco da dire, a questo stadio mi sembra un
po' fuffa.
Saluti,
unit
--
questo articolo e` stato inviato via web dal servizio gratuito
http://www.newsland.it/news segnala gli abusi ad abuse_at_newsland.it
Received on Tue Feb 12 2008 - 15:10:26 CET