Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-LTE - Language Translation and Execution
Linguaggi di programmazione. Traduzione : compilazione e interpretazione.Gerarchia di linguaggi di programmazione e di macchine astratte: linguaggi macchina, libguaggi assembler, linguaggi di alto livello
* LF - Linguaggi Formali
+ PL-LTE - Language Translation and Execution
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
+ PL-LTE - Language Translation and Execution
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
+ PL-LTE - Language Translation and Execution
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. Linguaggi liberi da contesto.
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Linguaggi regolari, espressioni regolari automi e linguaggi a stati finiti. Teorema di equivalenza classi di linguaggi riconosciuti da automi a stati finiti deterministici e non deterministici. Linguaggi regolari. Teorema di Kleene
* S - Semantica
PL-FS - Formal Semantics
Semantica denotazionale, semantica operazionale e cenni di semantica assiomatica. Analisi di programmi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-SyA - Syntax Analysis
Compilazione e interpretazione: Il modello di un compilatore: fase di analisi.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-RS - Runtime Systems
Compilazione e interpretazione. Il modello di un compilatore: fase di sintesi. Tabella dei simboli: costruzione ed interazione, contenuti, operazioni, organizzazione per linguaggi a blocchi e non, rappresentazione.
MP - Metodologie di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Paradigmi di programmazione ed evoluzione dei linguaggi di programmazione