Modelli di calcolo non convenzionali

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.