Teoria dei linguaggi
A.A. 2018/2019
Obiettivi formativi
Non definiti
Risultati apprendimento attesi
Non definiti
Periodo: Secondo semestre
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
Linea Milano
Responsabile
Periodo
Secondo semestre
Programma
Il corso è dedicato alla teoria degli automi e dei linguaggi formali.
Verranno presentati i principali risultati relativi alle classi di linguaggi della gerarchia di Chomsky e dei corrispondenti modelli di macchine, riprendendo e approfondendo quanto trattato nel corso di Linguaggi Formali e Automi. Sarà posto particolare accento sullo studio delle risorse computazionali necessarie per il riconoscimento delle diverse classi di linguaggi e, più in generale, agli aspetti di complessità descrizionale. Alcune lezioni saranno dedicate alla discussione di sviluppi recenti ottenuti nelle ricerche nel settore, nonché a problemi aperti.
Un programma dettagliato, con l'indicazione di quanto trattato in ciascuna lezione, viene pubblicato sulla pagina web del corso.
Verranno presentati i principali risultati relativi alle classi di linguaggi della gerarchia di Chomsky e dei corrispondenti modelli di macchine, riprendendo e approfondendo quanto trattato nel corso di Linguaggi Formali e Automi. Sarà posto particolare accento sullo studio delle risorse computazionali necessarie per il riconoscimento delle diverse classi di linguaggi e, più in generale, agli aspetti di complessità descrizionale. Alcune lezioni saranno dedicate alla discussione di sviluppi recenti ottenuti nelle ricerche nel settore, nonché a problemi aperti.
Un programma dettagliato, con l'indicazione di quanto trattato in ciascuna lezione, viene pubblicato sulla pagina web del corso.
Informazioni sul programma
Il corso è dedicato alla teoria degli automi e dei linguaggi formali.
Verranno presentati i principali risultati relativi alle classi di linguaggi della gerarchia di Chomsky e dei corrispondenti modelli di macchine, riprendendo e approfondendo quanto trattato nel corso di Linguaggi Formali e Automi. Sarà posto particolare accento sullo studio delle risorse computazionali necessarie per il riconoscimento delle diverse classi di linguaggi e, più in generale, agli aspetti di complessità descrizionale. Alcune lezioni saranno dedicate alla discussione di sviluppi recenti ottenuti nelle ricerche nel settore, nonché a problemi aperti.
Un programma dettagliato, con l'indicazione di quanto trattato in ciascuna lezione, viene pubblicato sulla pagina web del corso.
Verranno presentati i principali risultati relativi alle classi di linguaggi della gerarchia di Chomsky e dei corrispondenti modelli di macchine, riprendendo e approfondendo quanto trattato nel corso di Linguaggi Formali e Automi. Sarà posto particolare accento sullo studio delle risorse computazionali necessarie per il riconoscimento delle diverse classi di linguaggi e, più in generale, agli aspetti di complessità descrizionale. Alcune lezioni saranno dedicate alla discussione di sviluppi recenti ottenuti nelle ricerche nel settore, nonché a problemi aperti.
Un programma dettagliato, con l'indicazione di quanto trattato in ciascuna lezione, viene pubblicato sulla pagina web del corso.
Prerequisiti
L'esame consiste in una prova orale sugli argomenti del corso. Gli studenti hanno l'opzione di approfondire un argomento legato ai contenuti del corso, concordato con il docente, e presentarlo in un breve seminario.
Docente/i
Ricevimento:
Il ricevimento studenti viene svolto sia in presenza (modalità preferibile), sia a distanza. Consultare la pagina http://pighizzini.di.unimi.it/ricevimento.html per dettagli e informazioni aggiornate