Informatica quantistica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 3:
==Origini==
La [[macchina di Turing]] utilizza gli assiomi della [[fisica classica]], ossia lo stato del nastro e della testina sono sempre univocamente identificabili, gli spostamenti sono sempre regolati dalle leggi del moto, etc. Quindi la MT è totalmente deterministica (MTD). Una sua variante, che si dimostra equivalente ma più veloce, è la [[macchina di Turing probabilistica]] (MTP). Può risolvere ogni problema che è possibile risolvere tramite la MTD, ma di solito lo fa più velocemente (nel senso della [[teoria della complessità algoritmica]]). Anch'essa, però, è soggetta agli assiomi della fisica classica, e soprattutto nessuna delle due è reversibile, per il [[secondo principio della termodinamica]]. Dato che la [[meccanica quantistica]] è reversibile, una macchina di Turing quanitstica [[MTQ]] deve essere reversibile. Inoltre deve rispettare i [[postulati della meccanica quantistica|vincoli della meccanica quantistica]], tra cui il [[principio di indeterminazione di Heisenberg]] e e l'[[equazione di Schrödinger]].
Lo sviluppo di una MTQ, e quindi di un calcolatore quantistico, ha richiesto come spesso avviene diversi passaggi.
| |||