ATTENZIONE: Un compitino si intende superato se il voto e' almeno 17. Chi non ha superato un compitino puo' recuperare la parte corrispondente del programma in un appello. Chi ha superato entrambi i compitini puo' registrare il voto globale nelle date di registrazione degli appelli.
Voti appello 21 Settembre 2005 Voti compitini, primo, secondo e terzo appello
Programma:
Questo corso fornisce i concetti fondamentali
della teoria degli automi e dei linguaggi formali,
mostrando la loro applicazione ai compilatori.
Inoltre, introduce le nozioni di indecidibilita' e
intrattabilita'.
Gli argomenti principali del corso sono:
automi a stati finiti, espressioni e linguaggi regolari,
grammatiche e linguaggi liberi dal contesto, automi a pila,
macchine di Turing, concetto di indecidibilita', problemi
intrattabili, classi P e NP, relazione con i compilatori.
Cambiamenti di orario: Non si fara' lezione Venerdi' 28 Gennaio, Lunedi' 31 Gennaio, Lunedi' 28 Febbraio, Lunedi' 7 Marzo, Lunedi' 14 Marzo. Si recupera: Mercoledi' 2 Febbraio (9:30-11:10 P200), Martedi' 8 Febbraio (15:50 -- 17:30 LUM250), Mercoledi' 9 Marzo (15:50 -- 17:30 LUM250), Giovedi' 10 Marzo (15:50 -- 17:30 LUM250), Mercoledi' 16 Marzo (10:25 -- 13:00 P200), Giovedi' 17 Marzo (11:20-13:00 P200).
Orario di ricevimento: Giovedi' 16:00-18:00, studio
Modalita' d'esame: scritto ed eventuale orale se richiesto dal docente.
Compitini (se superati, sostituiscono lo scritto):