Corso di Automi e Linguaggi Formali

Docente: Francesca Rossi

Anno accademico 2013-2014


Registrazione voti: La data di registrazione dei voti ottenuti tramite i compitini o gli appelli di Dicembre/Gennaio e' Lunedi' 27 Gennaio alle ore 12:30 in aula 2BC30.


Regole appelli e voto complessivo:


Programma:
Questo corso fornisce i concetti fondamentali della teoria degli automi e dei linguaggi formali, mostrando la loro applicazione ai compilatori. Va anche in dettaglio nelle due fasi di analisi lessicale e sintattica dei compilatori. Inoltre, introduce le nozioni di indecidibilita' e intrattabilita'. Gli argomenti principali del corso sono: analisi lessicale, automi a stati finiti, espressioni e linguaggi regolari, analisi sintattica, grammatiche e linguaggi liberi dal contesto, automi a pila, macchine di Turing, concetto di indecidibilita', problemi intrattabili, classi P e NP.
Libri di riferimento:

Orario: Aula: LUM 250.
Orario di ricevimento: Martedi' 11:00-13:00, studio (Torre Archimede, quarto piano, stanza 428)
Modalita' d'esame:
Appelli d'esame: due a fine corso (Dicembre- Gennaio), uno alla fine del II trimestre (Aprile), uno a Luglio, uno a Settembre.

Lucidi del corso:


Homeworks: ogni Giovedi' verranno consegnati agli studenti degli esercizi, che gli studenti devono risolvere prima della lezione del Lunedi' successivo, in cui gli esercizi verranno svolti dal docente alla lavagna. Questo permette agli studenti di esercitarsi da soli sugli argomenti visti a lezione durante la settimana, oltre ai normali esercizi svolti dal docente in aula.
Francesca Rossi ( frossi@math.unipd.it)