Modelli di calcolo non convenzionale (2004/2005)

Corso a esaurimento

Codice insegnamento
4S00057
Docente
Vincenzo Manca
crediti
5
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
2° Q dal 10-gen-2005 al 11-mar-2005.

Orario lezioni

Obiettivi formativi

Il corso intende presentare i metodi ed i risultati fondamentali del "DNA Computing" e del "Membrane Computing" nel quadro notazionale e concettuale delle teorie delle stringhe, dei linguaggi formali e degli automi.

Programma

1. Calcolo, informazione e spazi di dati.
2. Monoidi, modelli fisici di stringhe e pattern lineari.
3. Struttura del DNA e algoritmi di duplicazione.
4. Analisi computazionale di protocolli biomolecolari:
PCR, Gel-Elettroforesi,Sequenziamento, Enzimi di restrizione,
Selezione per affinita',Mix and split,Blocking.
5. Esperimento di Adleman e calcoli biomolecolari.
6. Modello di Adleman-Lipton ed estensioni.
7. Algoritmi biomolecolari per SAT
8. Linguaggi formali e principali gerarchie.
9. Bisomatismo, trisomatismo e duplicazione.
10. Teoremi di Klene, Ginzburg, Kuroda, Post, Savich.
11. Schemi e regole di ricombinazione di stringhe.
12. Strategie di derivazione e di regolazione.
13. Sistemi monoidali e universalita'.
14. Sistemi di Head e Splicing finito: lemma di regolarita'.
15. Sistemi dinamici discreti.
16. Sistemi a membrana.

Modalità d'esame

Esame orale.

Materiale didattico

Documenti

Condividi