diff --git a/talks/calcolatori-membrane/meta.yaml b/talks/calcolatori-membrane/meta.yaml index d56f962..27dcb7d 100644 --- a/talks/calcolatori-membrane/meta.yaml +++ b/talks/calcolatori-membrane/meta.yaml @@ -1,18 +1,18 @@ title: "Calcolatori a Membrane Cellulari: uno studio inerente alla teoria della complessità" text: | - Verra` presentato uno studio di informatica in cui si parte dalla - classificazione dei problemi (in particolare ci si concentrera` sulle + Verrà presentato uno studio di informatica in cui si parte dalla + classificazione dei problemi (in particolare ci si concentrerà sulle classi P. NP, NP-Complete, Co-NP e cancellettoP). Poi verranno introdotti dei nuovi modelli di calcolatori che vanno ben oltre le macchine di von - neumann. Spieghero` poi come fanno questi calcolatori a membrana ad + neumann. Spiegherò poi come fanno questi calcolatori a membrana ad essere in grado di svolgere computazionalmente dei problemi appartenenti alle classi sopraelencate in tempo lineare (se poi si sale di livello di - diffcolta` per andare a vedere cosa esiste oltre NP il tempo + diffcoltà per andare a vedere cosa esiste oltre NP il tempo semplicemente diventa polinomiale) senza usare il trucco del non-determinismo dove una macchina di turing deterministica impiega tempi non umani. - Si`, penso possano aprire una gpg in pochi secondi :) + Sì, penso possano aprire una gpg in pochi secondi :) # Se ancora non è stata assegnata una stanza al talk, commentala. Non usare un valore tipo "qualunque" o # cose del genere, che ci si incasina tutto