Il corso intende fornire le conoscenze fondamentali relative alle proprietà dei linguaggi formali, le relazioni con grammatiche e automi, la struttura e le funzioni dei compilatori, gli strumenti per le fasi di analisi e traduzione. Tali conoscenze permetteranno agli studenti di affrontare problemi relativi ai linguaggi, alla definizione di grammatiche, alla progettazione di automi e all’applicazione di queste tecniche nella progettazione di compilatori.