Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi
Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi
Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
E senza limiti?<br />
Nessun limite <strong>di</strong> tempo e spazio ....il problema è quello <strong>di</strong> <strong>Turing</strong> del<br />
1936!!<br />
Possiamo solo <strong>di</strong>re se un problema è calcolabile!<br />
<strong>Turing</strong> argument:<br />
ammette una soluzione algoritmica<br />
tutto ruota intorno alla <strong>Macchina</strong> <strong>di</strong> <strong>Turing</strong> Universale!<br />
Assumiamo termination(P) termina e <strong>di</strong>ce true iff P<br />
termina su tutti gli inputs<br />
E che ne è <strong>di</strong>:<br />
P ≡ while termination(P){ null } ?<br />
Mathesis: Verona - 10.03.2012 – p.34/56