2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Linguaggi formali e compilatori
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Scienze e Tecnologie Informatiche |
|---|---|---|---|
| CFU | 12 | Università | TRENTO |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
12 cfu così ripartiti nelle aree:
- 4 CFU nell'area A - Fondamenti
- 8 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- A - Fondamenti
-
*
ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche formali -
*
ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a stati finiti -
*
ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Algoritmi per analisi di testo -
*
ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a pila - D - Linguaggi
-
TAV - Tecniche di Analisi e Verifica
* PL-SyA - Syntax Analysis
Algoritmi per analisi sintattica -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-TS - Type Systems
Type checking -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-CG - Code Generation
Generazione di codice intermedio -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-SyA - Syntax Analysis
Traduzioni guidate dalla sintassi -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-StA - Static Analysis
Ottimizzazione di codice -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-RS - Runtime Systems
Ottimizzazione di codice -
V - Varie
PL-CG - Code Generation
Uso di Lex -
V - Varie
PL-CG - Code Generation
uso di Yacc
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
