2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Formal Languages and Compiler
| Informazioni generali | |||
| Corso di Laurea | Scienze e Ingegneria dell'Informazione (interclasse) | Percorso | |
|---|---|---|---|
| CFU | 8 | Università | Libera Università di BOLZANO |
| Ore di didattica frontale per CFU | 9 | Settore Scientifico Disciplinare | INF/01 |
8 cfu così ripartiti nelle aree:
- 2 CFU nell'area A - Fondamenti
- 6 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- A - Fondamenti
-
*
ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Regular languages (automata, regular expressions, regular grammars) -
*
ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Context free languages (stack machines) - D - Linguaggi
-
*
LF - Linguaggi Formali
PL-PR - Program Representation
Formal languages and grammars -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Compiler organization -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-CG - Code Generation
Code generation -
*
S - Semantica
PL-CSA - Compiler Semantic Analysis
Symbol tables, semantic checking -
TAV - Tecniche di Analisi e Verifica
* PL-SyA - Syntax Analysis
Lexical analysis -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Top-down and bottum-up parsing
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
