Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi

More documents

Recommendations

Info

Classi e proprietà nel tempo PTime = c>0 TimeD[n c ] NPTime = c>0 TimeN[n c ] EXPTime = c>0 TimeD[2 n·c ] NEXP = c>0 TimeN[2 n·c ] Nel tempo determinismo e non-determinismo correlati? PTime ⊆ NPTime ⊆ PSpace PTime ? = NPTime PTime ⊂ EXPTime Church-Turing Thesis: a function computable in polynomial time in any reasonable computational model using a reasonable time complexity measure is computable by a deterministic Turing Machine in polynomial time. Mathesis: Verona - 10.03.2012 – p.30/56
Percorrendo la gerarchia: MdT Idea: Nessun limite di tempo/spazio alla gestione della memoria Legge e scrive sul nastro 1 simbolo alla volta Esegue transizioni di stato discrete (Automa) Gli stati sono finiti: n ∈ N fissati a priori! (Automa) Ha tempo e spazio ∞ Ammettimo non-determinismo Chiaramente (tesi di Church): C(MdTD) = C(MdTND) Mathesis: Verona - 10.03.2012 – p.31/56
Page 1 and 2: ALAN TURING 1912 - 2012 ESPRESSIVIT
Page 3 and 4: Breve storia: Le origini 1900 Hilbe
Page 5 and 6: Breve storia: Le origini 1900 Hilbe
Page 7 and 8: Evoluzione storica Mathesis: Vero
Page 9 and 10: Evoluzione storica Mathesis: Ver
Page 11 and 12: e prima? Mathesis: Verona - 10.03.2
Page 13 and 14: Evitare il paradosso diagonale! L
Page 15 and 16: Informazione e Informatica Mathesis
Page 17 and 18: Macchina o modello di calcolo Codif
Page 19 and 20: Macchina o modello di calcolo Codif
Page 21 and 22: Espressività e Complessità Comple
Page 23 and 24: ...mediante procedimenti intuitivam
Page 25 and 26: Percorrendo la gerarchia: Automi L
Page 27 and 28: Non riesce a contare: a n b n per n
Page 29 and 30: Il modello non-deterministico Math
Page 31 and 32: Percorrendo la gerarchia: Automi a
Page 33 and 34: a bcba ↓ nastro q0 ↕ pila Z abc
Page 35 and 36: Percorrendo la gerarchia: MdT limit
Page 37 and 38: Classi e proprietà nello spazio EX
Page 39: Limiti e proprietà nel tempo Nuove
Page 43 and 44: Limiti e Proprietà assolute Il pro
Page 45 and 46: La gerarchia rivista Mathesis:
Page 47 and 48: Offuscamento: l’idea Mathesis: Ve
Page 49 and 50: Oggetti da nascondere? data objects
Page 51 and 52: Oscurità come imprecisione Offusca
Page 53 and 54: Oscurità come imprecisione Offusca
Page 55 and 56: Programmi che manipolano programmi?
Page 57 and 58: [Cloackware 2000] Code Flattening I
Page 59 and 60: Il seguente programma “appiattito
Page 61 and 62: Idea: parallelismo massivo e alta d
Page 63 and 64: DNA Computing: TSP Problema: determ
Page 65 and 66: DNA Computing: TSP Idea: Codificare
Page 67 and 68: Quantum Computing: parallelismo Ide
Page 69 and 70: PTime ? = NPTime ....il problema ap

Link alle Slide Conferenza La Macchina di Turing - ITIS G. Marconi

Create successful ePaper yourself

Delete template?

Save as template?