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