Fondamenti dei linguaggi di programmazione: automi

A.A. 2009--2010

docente: Francesca Levi (levifran@di.unipi.it )

PROGRAMMA DEL CORSO

INFORMAZIONI SULL'ESAME : A scelta dello studente esame orale su tutti gli argomenti del corso o seminario che approfondisca uno degli argomenti trattati a lezione.

ESAME ORALE E SEMINARIO : Su appuntamento, contattando il docente nel periodo delle sessioni d'esame

ORARIO DELLE LEZIONI : Mercoledi', 11.00-13.00 aula B1, Venerdi', 9.00-11.00, aula C

RICEVIMENTO STUDENTI : Martedi', 14.00-16.00

LUCIDI DELLE LEZIONI:

          Intro Introduzione al Corso (programma ed informazioni)

         (pdf)   Linguaggi Regolari

         (pdf)   Espressioni Regolari

         (pdf)   Proprieta' di Chiusura dei Linguaggi Regolari

         (pdf)   Proprieta' di Chiusura dei Linguaggi Regolari: omomorfismi

         (pdf)   Minimizzazione di Automi

         (pdf)   Linguaggi Liberi dal Contesto

         (pdf)   Linguaggi Liberi dal Contesto: ambiguita'

         (pdf)   Automi a Pila

         (pdf)   Equivalenza tra CGF e PDA

         (pdf)   Proprieta' dei linguaggi liberi dal contesto

         (ppt)   Automi Temporizzati

         (ppt)   Informazioni sull'esame

Date dei Seminari: 11 Giugno, 2 Luglio, 16 Luglio, Sala Seminari Est, ore 10.00. Per iscriversi o fissare la data dell'esame orale inviare la richiesta per e-mail con almeno una settimana di anticipo.

Seminari 11 Giugno: . Angelica Marotta (P-system Probabilistici), Flavio Mastroleo (Timed P Automata)

Informazione Esami Sessione Autunnale: sara' possibile sostenere l'esame (sia orale che seminario) nelle seguenti date: 6 e 16 settembre 2010 . Per iscriversi all'esame inviare la richiesta per e-mail con almeno una settimana di anticipo.

Seminari: 16 Settembre ore 10.00, Sala Seminari Est . Orali 17 settembre: ore 14.00 nel mio studio

Si informano gli studenti che, a causa del numero elevato di richieste, non sara' piu' possibile richiedere argomenti per il seminario. Pertanto (salvo per gli argomenti gia' assegnati) rimane la modalita' di esame orale standard .