Lucidi
Introduzione
Automi finiti
Espressioni regolari
Linguaggi non contestuali
Automi a pila
Macchine di Turing, linguaggi contestuali, gerarchia di Chomsky
Sistemi di Lindenmayer
Automi temporizzati
Logiche modali e temporali
UPPAAL
Automi cooperanti temporizzati
Modelli gerarchici
P systems