Modelli di calcolo non convenzionale (2005/2006)

Corso a esaurimento

Codice insegnamento
4S00057
Docente
Vincenzo Manca
crediti
5
Altri corsi di studio in cui è offerto
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
3° Q dal 3-apr-2006 al 9-giu-2006.

Orario lezioni

3° Q
Giorno Ora Tipo Luogo Note
martedì 11.30 - 13.30 lezione Aula E  
mercoledì 8.30 - 11.30 lezione Aula E  

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.