CODICE 80269 ANNO ACCADEMICO 2020/2021 CFU 6 cfu anno 2 INGEGNERIA INFORMATICA 8733 (LM-32) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE ING-INF/05 LINGUA Italiano SEDE GENOVA PERIODO 1° Semestre MATERIALE DIDATTICO AULAWEB PRESENTAZIONE Il corso ha lo scopo di introdurre la teoria dei linguaggi formali e di illustrarne l'applicazione nella progettazione dei compilatori. Particolare enfasi verrà posta verso la progettazione di applicazioni per l’interazione uomo-macchina e nell’ambito della progettazione di sistemi web-based. OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI L'obiettivo del corso è quello di fornire gli strumenti, sia formali che pratici, per la definizione dei linguaggi di programmazione e dei loro traduttori e fornire competenze di progettazione di applicativi e sistemi web interoperabili nel rispetto degli standard internazionali. Il corso si propone di fornire una preparazione necessaria alla formazione dei profili di competenze degli Ingegneri dell’Informazione che si stanno affermando a livello nazionale ed europeo. OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO Ai fini sopra indicati, il corso è organizzato in tre parti con i seguenti obiettivi specifici Nella prima parte, l'obiettivo è quello di introdurre i “modelli di riferimento” per l’informatica e descrivere le proprietà delle più importanti classi di linguaggi formali e delle loro rappresentazioni; Nella seconda parte, l'obiettivo è quello di analizzrea la struttura dei compilatori, esaminando le principali fasi del processo di traduzione, le problematiche associate a ciascuna di esse e le relative tecniche di soluzione; Nella terza partel'obiettivo è quello di fornire gli strumenti base per l’elaborazione del linguaggio naturale, al fine di progettare sistemi di interazione uomo-macchina per l’accesso semantico e personalizzato all’informazione. Saranno introdotti inoltre i meccanismi di accesso all’informazione nell’ambito del cosiddetto Web 2.0, e del recente Web of Data. Tutto questo ai fini di fare acquisire le conoscenze, abilità e competenze necessarie ad un Ingegnere Informatico per: essere in grado di mettere in relazione risultati della teoria dei linguaggi formali con le tecniche di base per la costruzione di analizzatori lessicali e sintattici di linguaggi di programmazione, essere inoltre in grado di utilizzare i risultati della teoria dei linguaggi formali per la progettazione di interfacce uomo-macchina e per la progettazione di sistemi web interoperabili, facendogli altresì comprendere come gli standard web non costituiscono un limite alla progettazione, ma bensì un modo per creare una nuova generazione di applicazioni web che permettono di abbattere i costi della progettazione, sviluppo e verifica della qualità nel rispetto delle normative vigenti e in termini di accessibilità. PREREQUISITI Conoscenze di base sui linguaggi di programmazione procedurale e sulla programmazione lato client e lato server mediante linguaggi di scripting. MODALITA' DIDATTICHE Durante lo svolgimento dell'insegnamento verrà chiesto allo studente di partecipare allo sviluppo di: un Progetto individuale o di gruppo (sviluppato durante le esercitazioni) in cui si utilizzeranno strumenti e metodi visti a lezione. Verrà inoltre attivato sul portale del corso un Forum di discussione sugli argomenti principali introdotti a lezione a cui gli studenti saranno invitati a partecipare. PROGRAMMA/CONTENUTO Parte I – Modelli per l’informatica ed elaborazione dei linguaggi Automi a stati finiti, Automi a pila, Macchine di Turing Introduzione alla teoria dei linguaggi Gerarchia di Chomsky Evoluzione dei linguaggi di programmazione Fondamenti dei linguaggi di programmazione Parte II – Compilatori e Interpreti Struttura di un compilatore Traduzione guidata dalla sintassi Analisi lessicale Analisi sintattica (scrittura di una grammatica, parsing top-down, bottom-up, LR) Generatori di parser Analisi semantica e Generazione codice intermedio Parte III - Elaborazione del Linguaggio Naturale e Web 2.0 Elementi di base di linguistica computazionale e risorse linguistiche Generazione del Linguaggio Naturale Accesso Intelligente all’Informazione Social tagging, folksonomie e Linked Data Attività di Laboratorio Generatori di analizzatori lessicali Generatori di parser Sviluppo di progetto individuale o di gruppo TESTI/BIBLIOGRAFIA A.V. Aho, M.S. Lam, R. Sethi, J.D. Ullman. Compilers: Principles, Techniques, and Tools, Pearson/Addison-Wesley, 2007. Edizione Italiana (2009): Compilatori: Principi, tecniche e strumenti. G.Rossi, O.Pastor, D.Schwabe, L.Olsina, Web Engineering: Modelling and Implementing Web Applications, Springer, 2008. W3C, Web Design and Applications: http://www.w3.org/standards/webdesign/. G. Adorni. Note e appunti messi a disposizione sul portale del corso su AulaWeb. DOCENTI E COMMISSIONI GIOVANNI ADORNI Ricevimento: Al Campus di Savona, nei giorni di lezione, al termine delle lezioni. A Genova o a Savona su appuntamento negli atri giorni concordato tramite e-mail all'indirizzo: adorni@unige.it Commissione d'esame GIOVANNI ADORNI (Presidente) ARMANDO TACCHELLA MARCO MARATEA (Presidente Supplente) LEZIONI Orari delle lezioni L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy ESAMI MODALITA' D'ESAME L'esame finale consisterà in una discussione sul Progetto individuale o di gruppo sviluppato durante il corso e in una valutazione delle discussioni postate nel Forum durante il corso stesso. MODALITA' DI ACCERTAMENTO Valutazione del Progetto sviluppato durante il corso e valutazione delle discussioni postate nel Forum. Calendario appelli Data appello Orario Luogo Tipologia Note 19/01/2021 10:00 GENOVA Prova pratica 03/02/2021 10:00 GENOVA Prova pratica 07/06/2021 10:00 GENOVA Prova pratica 24/06/2021 10:00 GENOVA Prova pratica 30/08/2021 10:00 GENOVA Prova pratica ALTRE INFORMAZIONI Propedeuticità consigliate: Conoscenze di base sui linguaggi di programmazione procedurale e sulla programmazione lato client e lato server mediante linguaggi di scripting.