LINGUAGGI FORMALI E COMPILATORI - 38070

insegnamento

ID:

38070

Dettaglio:

SSD: SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI Durata: 72 CFU: 9

Sede:

DALMINE

Url:

Dettaglio Insegnamento:

INGEGNERIA INFORMATICA - 38-270/PERCORSO COMUNE Anno: 2

INGEGNERIA INFORMATICA - 38-270/PERCORSO COMUNE Anno: 1

Anno:

2025

Periodo di attività

Primo Semestre (15/09/2025 - 20/12/2025)

Obiettivi Formativi

Presentare le tecniche per la definizione dei linguaggi formali e mostrare gli algoritmi di riconoscimento dei linguaggi.
Presentazione degli strumenti freeware per la generazione automatica dei compilatori.
Lo studente acquisirà la capacità di progettare piccoli linguaggi artificiali e realizzare il traduttore.

Prerequisiti

Buona conoscenza delle nozioni fondamentali di informatica e relative ai linguaggi di programmazione.

Metodi didattici

Lezioni frontali, esercizi.
Sedute in laboratorio.

Verifica Apprendimento

Esame scritto obbligatorio.
Progetto facoltativo ma consigliato.

Contenuti

Teoria dei linguaggi.
Operatori sui linguaggi.
Espressioni regolari: derivazione del linguaggio, riconoscimento mediante automi a stati finiti-
Sintassi dei linguaggi: grammatiche BNF, proprietà.
Famiglie di linguaggi e tecniche di riconoscimento (parsing): discendente (LL(1)) e ascendente (LR(0), LALR(1), LR(1)).
Semantica dei linguaggi: modello delle grammatiche ad attributi e modalità di valutazione semantica.
La macchina virtuale di Java e il byte code.