Teoria dei Linguaggi
Anno Accademico 2017/2018
Corso di Laurea Magistrale in Informatica - Milano
In questa pagina potete trovare
Avvisi e informazioni generali
Pagine anni precedenti
Avvisi e informazioni generali
- Informazioni su esami
È
disponibile un documento contenente le
informazioni relative ai contenuti e alle modalità della prova
d'esame, con un elenco di alcuni approfondimenti proposti.
- Il corso riguarda la teoria dei linguaggi formali e degli automi
(in senso ampio, come dispositivi di calcolo di vario tipo per riconoscere
linguaggi o calcolare funzioni, dunque non solo automi a stati finiti, ma
diversi tipi di modelli).
Verranno ripresi ed approfonditi alcuni contenuti del corso di Linguaggi
Formali e Automi, integrati con nuovi argomenti.
Si porrà particolare attenzione allo studio delle risorse
computazionali utilizzate dai differenti modelli per il riconoscimento delle diverse classi di linguaggi.
Saranno illustrati alcuni sviluppi recenti ottenuti nelle ricerche nel settore,
nonché alcuni problemi aperti.
Un elenco dettagliato degli argomenti trattati sarà pubblicato su
questa pagina.
-
Il corso è previsto come complementare dal manifesto degli studi
della Laurea Magistrale in Informatica.
Gli studenti dei corsi di laurea triennali possono inserire
il corso nel proprio piano di studi tra i crediti a scelta libera.
-
Il corso si tiene a partire dal 27 febbraio 2018, con
il seguente orario:
martedì e giovedì 8.30-10.30, via Comelico 39,
Sala Lauree.
Argomenti delle lezioni
Bibliografia di riferimento
Gli argomenti trattati nel corso possono essere reperiti su vari testi.
Segue un elenco dei principali. Indicazioni più dettagliate
verranno fornite man mano durante lo svolgimento del corso.
- J. Shallit
A Second Course
in Formal Languages and Automata Theory
Cambridge University Press, 2009
- J. Hopcroft and J. Ullman
Introduction to Automata Theory, Languages, and Computation
Addison-Wesley, 1979
Nota: nelle edizioni successive (2000, 2006, ed. italiana
2009), più orientate a corsi di base, molti argomenti sono stati
eliminati o sono trattati superficialmente.
- J. Hopcroft and J. Ullman
Formal languages and their relation to automata
Addison Wesley, 1969
Nota: ``Precursore'' del libro del 1979. Ben scritto, ma poco
aggiornato su alcuni argomenti.
Scaricabile dalla ACM
Digital Library (dalla rete all'interno dell'università).