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.
Idea<br />
Aumentiamo la potenza:<br />
Par<strong>alle</strong>lismo vs non-determinismo<br />
Permettiamo alla macchina <strong>di</strong> attivare processi in<strong>di</strong>pendenti e par<strong>alle</strong>li<br />
Transizione : Stati −→ 2 Stati<br />
Ad ogni passo i processi attivati sono finiti < ∞<br />
Senza limiti <strong>di</strong> tempo: Sequenziale = Non−deterministico<br />
C(ASFD) = C(ASFND)<br />
Non si aumenta la espressività degli automi amuentandone il grado <strong>di</strong><br />
par<strong>alle</strong>lismo!!<br />
Mathesis: Verona - 10.03.2012 – p.18/56