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.
Espressività e Complessità<br />
Complessità: Quanto è <strong>di</strong>fficile risolvere un problema che sappiamo essere<br />
risolvibile?<br />
Espressività Si può risolvere un dato problema con un certo strumento<br />
(macchina o modello)?<br />
Difficoltà = consumo risorse (Es: tempo/spazio)<br />
Cosa è una classe?<br />
Complessità = Espressività con risorse limitate<br />
Come limitiamo le risorse?<br />
Se M è un famiglia <strong>di</strong> macchine:<br />
C(M) def<br />
<br />
= L ⊆ Σ ∗ ∃M ∈ M : L = L(M)<br />
Come si struttura la espressività al variare delle macchine?<br />
Quali proprietà <strong>di</strong> chiusura caratterizzano le classi?<br />
<br />
Mathesis: Verona - 10.03.2012 – p.12/56