Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Linguaggi di programmazione. Gerarchia di linguaggi di programmazione e di macchine astratte: linguaggi macchina, libguaggi assembler, linguaggi di alto livello
* LF - Linguaggi Formali
Linguaggi: Definizioni preliminari (alfabto, parola, stringa, uguaglianza tra parole, concatenazione di parole, potenza di parole, sottostringa, prefisso, suffisso, monoide libero generato da un insieme) Linguaggi formali. Inquadramento della teoria dei linguaggi formali nell'informatica teorica
* LF - Linguaggi Formali
Classificazione di Chomsky. Operazioni sui linguaggi (unione, concatenazione, iterazione, complemento, intersezione, potenza e riflessione) e proprietà di chiusura delle classi di linguaggi rispetto alle oparazioni
* LF - Linguaggi Formali
Generazione di Linguaggi: un'introduzione alle grammatiche. Carte sintattiche e Backaus-Naur Form, grammatiche generative o a struttura di frase, derivazione diretta, derivazione, linguaggio generato da una grammatica, forma di frase, frase, equivalenza tra grammatiche, relazione tra grammatiche e linguaggi, non determinismo, correttezza di una grammatica: indecidibilità del problema
* LF - Linguaggi Formali
Linguaggi liberi dal contasto e dipendenti dal contesto. Linguaggi regolari, espressioni regolari, automi e linguaggi a stati finiti. Teorema di equivalenza delle classi di linguaggi riconosciuti da automi a stati finiti deterministici e non deterministici, teorema di equivalenza delle classi di linguaggi regolari, a stati finiti e lineari destri (teorema di Kleene)
* S - Semantica
Semantica denotazionale, semantica operazionale e cenni di semantica assiomatica. Analisi di programmi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Compilazione e interpretazione: Il modello di un compilatore: analizzatore lessicale, analizzatore sintattico, analizzatore semantico, generazione e ottimizzazione del codice
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi lessicale e realizzazione di uno scanner. Tabella dei simboli: costruzione ed interazione, contenuti, operazioni, organizzazione per linguaggi a blocchi e non, rappresentazione. Analisi sintattica (parsing): alberi sintattici o di derivazione.
MP - Metodologie di Programmazione
Paradigmi di programmazione ed evoluzione dei linguaggi di programmazione