Navigazione di Sezione:
Automi, Linguaggi E Traduttori 2011/2012
Generali:
- Dipartimento: Ingegneria
- Settore Ministeriale: ING-INF/05
- Codice di verbalizzazione: 8037602
- Metodi di insegnamento: Frontale
- Metodi di valutazione: Scritto E Orale
- Prerequisiti: Nozioni fondamentali di Computer Science. Elementi di C++ o Java. Uso degli arrays, delle liste, dei puntatori e della ricorsione. Elementi di Algebra and elementi di Calcolo dei Predicati.
- Obiettivi: Introduzione ai linguaggi formali e agli automi con particolare riferimento ai linguaggi regolari ai linguaggi context-free, agli automi finiti e agli automi pushdown. Introduzione alla teoria della computazione. Introduzione alle tecniche di base del parsing e della compilazione dei linguaggi di programmazione.
- Ricevimento: Dopo le lezioni e per appuntamento. After the lectures and by appointment.
Didattica:
- A.A.: 2011/2012
- Canale: UNICO
- Crediti: 6