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.: 2010/2011
  • Canale: UNICO
  • Crediti: 6
  • Obbligo di Frequenza: No