GALESI NICOLA
(programma)
Linguaggi Regolari
Linguaggi Context-Free
Automi a stati Finiti
Automi Con Stack
Tesi di Turing-Church
Decidibilità
Riducibilità
Complessità Computazionale
Complessità Tempo
Complessità Spazio
![](/images/icon-multipage.png) Introduzione alla Teoria della COmputazione
M. Sipser
Mc Graw Hill
|