WikiDsy - Contributi utente [it]

Metodi probabilistici/2006-2007

2007-04-01T15:43:03Z

Polsy: /* News */

[[Categoria:Corsi 2006-2007]]
== News ==

Da [http://www.ccdi.unimi.it/it/corsiDiStudio/cds/curriculum/af/F49-17.07.1/avvisi/4858.html ccdi]:

Si avvisano gli studenti interessati che il Tutorato per il corso di Metodi Probabilistici (prof. de Falco) iniziera` il giorno 20 marzo alle ore 16.30 in sala Lauree (DSI).

=== Appelli ===
15/1/2007 - 15/2/2007 - 23/4/2007 - 13/6/2007 - 5/7/2007 - 13/9/2007

== Informazioni generali ==

=== Docenti ===
[http://www.ccdi.unimi.it/it/docenti/DE%20FALCO-DIEGO-39Z.html Diego De Falco]
=== Corsi di laurea ===
Corso di laurea magistrale in Informatica
=== Modalità d'esame ===
* esame scritto del corso di Calcolo delle probabilità e statistica matematica
* elaborato scritto su un tema specifico concordato con il docente durante un colloquio o in aula

=== Prerequisiti al corso ===
Preferibilmente il corso di Calcolo delle probabilità e statistica matematica (o equivalente).

=== Orari e luogo delle lezioni ===
Lunedì 8:30-10:30 aula Beta (Comelico)
Venerdì 8:30-10:30 aula Beta (Comelico)
=== Orario di ricevimento studenti ===
lunedì dalle 10,30 alle 12,30 stanza P134 via Comelico 39
== Materiale didattico ==
=== Testi ===
Mood, Graybill, Boes - Introduzione alla statistica - McGraw-Hill
Bartoszyński, Niewiadomska Bugaj - Probability and statistical inference - Wiley 1996
=== Fotocopie ===
Durante le lezioni il docente mette a disposizione delle fotocopie riguardanti gli argomenti trattati

== Diario del corso ==

=== Lezione del 6/3/2006 ===

* Ripasso dei concetti fondamentali di CPSM seguendo il tema d'esame del 15/2/2007
** Variabile casuale bernoulliana e funzione indicatrice
** Insieme degli esiti, insieme degli eventi (e proprietà), spazio misurabile <math>(\Omega, \Sigma)</math>, definizione di misurabilità rispetto a <math>\Sigma</math>
** Definizione formale di variabile casuale.

=== Lezione del 09/3/2006 ===

* Ancora ripasso di CPSM
** Funzione di probabilità (e proprietà)
** Spazio di probabilità <math>(\Omega, \Sigma, P)</math>
** Introduzione al valore atteso: formula per calcolarlo e definizione nel caso di variabili bernoulliane
** Definizione di variabili/eventi P-indipendenti
** Teorema: se due eventi sono indipendenti, anche i loro complementi lo sono
** Definizione di probabilità condizionata
** Concetto di simulazione
** Metodo per stabilire l'equità della ricompensa associata a una scommessa.

=== Lezione del 12/3/2006 ===

* Concetti sparsi di CPSM
** Variabili indipendenti
** Variabili identicamente distribuite
** Funzione caratteristica (= generatrice dei momenti).
* Proprietà delle <math>\sigma</math>-algebre
** <math>\sigma</math>-algebra generata da un insieme di eventi
** Teorema: l'intersezione di <math>\sigma</math>-algebre è una <math>\sigma</math>-algebra.

=== Lezione del 16/3/2006 ===

* <math>\sigma</math>-algebra generata dall'insieme degli intervalli sui reali.
* Inclusione stretta della <math>\sigma</math>-algebra generata dall'insieme degli intervalli sui reali nell'insieme delle parti dei reali ( <math>\sigma(I) \subset P(R)</math> ).
* Dimostrazione del fatto che i numeri normali sono un elemento della <math>\sigma</math>-algebra di Borel su [0,1].

=== Lezione del 19/3/2006 ===

* Lemma di Borel-Cantelli
* Legge forte dei grandi numeri.
* Legge debole dei grandi numeri.
* Statistica estremale, statistica d'ordine.

=== Lezione del 23/3/2006 ===

* Considerazioni sulla linearità del valore atteso: dimostrazione del fatto che se X e Y sono variabili casuali, allora lo sono anche X+Y e aX (dove a è una costante).
* Nozione di distanza tra variabili casuali (errore quadratico medio).
* Tipi di convergenza:
** quasi ovunque
** in probabilità
** in distribuzione.
* Statistica parametrica
* Stimatori, confronto tra stimatori tramite la legge dei grandi numeri.

=== Lezione del 26/3/2006 ===

* Costruzione della <math>\sigma</math>-algebra di Borel sui reali.
* Misura di Lebesgue.
* Definizione formale di eventi indipendenti.

=== Lezione del 30/3/2006 ===

* Studio congiunto di due variabili:
** Costruzione della <math>\sigma</math>-algebra di Borel su <math>R^2</math>
** Funzione di distribuzione e di ripartizione congiunta di due variabili.

Metodi probabilistici/2006-2007

2007-04-01T15:37:37Z

Polsy: /* Diario del corso */

[[Categoria:Corsi 2006-2007]]
== News ==

L'orario è cambiato rispetto a quanto scritto inizialmente sul ccdi: la lezione del martedì è spostata al lunedì.

=== Appelli ===
15/1/2007 - 15/2/2007 - 23/4/2007 - 13/6/2007 - 5/7/2007 - 13/9/2007

== Informazioni generali ==

=== Docenti ===
[http://www.ccdi.unimi.it/it/docenti/DE%20FALCO-DIEGO-39Z.html Diego De Falco]
=== Corsi di laurea ===
Corso di laurea magistrale in Informatica
=== Modalità d'esame ===
* esame scritto del corso di Calcolo delle probabilità e statistica matematica
* elaborato scritto su un tema specifico concordato con il docente durante un colloquio o in aula

=== Prerequisiti al corso ===
Preferibilmente il corso di Calcolo delle probabilità e statistica matematica (o equivalente).

=== Orari e luogo delle lezioni ===
Lunedì 8:30-10:30 aula Beta (Comelico)
Venerdì 8:30-10:30 aula Beta (Comelico)
=== Orario di ricevimento studenti ===
lunedì dalle 10,30 alle 12,30 stanza P134 via Comelico 39
== Materiale didattico ==
=== Testi ===
Mood, Graybill, Boes - Introduzione alla statistica - McGraw-Hill
Bartoszyński, Niewiadomska Bugaj - Probability and statistical inference - Wiley 1996
=== Fotocopie ===
Durante le lezioni il docente mette a disposizione delle fotocopie riguardanti gli argomenti trattati

== Diario del corso ==

=== Lezione del 6/3/2006 ===

* Ripasso dei concetti fondamentali di CPSM seguendo il tema d'esame del 15/2/2007
** Variabile casuale bernoulliana e funzione indicatrice
** Insieme degli esiti, insieme degli eventi (e proprietà), spazio misurabile <math>(\Omega, \Sigma)</math>, definizione di misurabilità rispetto a <math>\Sigma</math>
** Definizione formale di variabile casuale.

=== Lezione del 09/3/2006 ===

* Ancora ripasso di CPSM
** Funzione di probabilità (e proprietà)
** Spazio di probabilità <math>(\Omega, \Sigma, P)</math>
** Introduzione al valore atteso: formula per calcolarlo e definizione nel caso di variabili bernoulliane
** Definizione di variabili/eventi P-indipendenti
** Teorema: se due eventi sono indipendenti, anche i loro complementi lo sono
** Definizione di probabilità condizionata
** Concetto di simulazione
** Metodo per stabilire l'equità della ricompensa associata a una scommessa.

=== Lezione del 12/3/2006 ===

* Concetti sparsi di CPSM
** Variabili indipendenti
** Variabili identicamente distribuite
** Funzione caratteristica (= generatrice dei momenti).
* Proprietà delle <math>\sigma</math>-algebre
** <math>\sigma</math>-algebra generata da un insieme di eventi
** Teorema: l'intersezione di <math>\sigma</math>-algebre è una <math>\sigma</math>-algebra.

=== Lezione del 16/3/2006 ===

* <math>\sigma</math>-algebra generata dall'insieme degli intervalli sui reali.
* Inclusione stretta della <math>\sigma</math>-algebra generata dall'insieme degli intervalli sui reali nell'insieme delle parti dei reali ( <math>\sigma(I) \subset P(R)</math> ).
* Dimostrazione del fatto che i numeri normali sono un elemento della <math>\sigma</math>-algebra di Borel su [0,1].

=== Lezione del 19/3/2006 ===

* Lemma di Borel-Cantelli
* Legge forte dei grandi numeri.
* Legge debole dei grandi numeri.
* Statistica estremale, statistica d'ordine.

=== Lezione del 23/3/2006 ===

* Considerazioni sulla linearità del valore atteso: dimostrazione del fatto che se X e Y sono variabili casuali, allora lo sono anche X+Y e aX (dove a è una costante).
* Nozione di distanza tra variabili casuali (errore quadratico medio).
* Tipi di convergenza:
** quasi ovunque
** in probabilità
** in distribuzione.
* Statistica parametrica
* Stimatori, confronto tra stimatori tramite la legge dei grandi numeri.

=== Lezione del 26/3/2006 ===

* Costruzione della <math>\sigma</math>-algebra di Borel sui reali.
* Misura di Lebesgue.
* Definizione formale di eventi indipendenti.

=== Lezione del 30/3/2006 ===

* Studio congiunto di due variabili:
** Costruzione della <math>\sigma</math>-algebra di Borel su <math>R^2</math>
** Funzione di distribuzione e di ripartizione congiunta di due variabili.

Linguaggi e traduttori II/2006-2007

2007-03-24T20:16:26Z

Polsy: /* Diario del corso */

[[Categoria:Corsi 2006-2007]]

== News ==

La lezione di giovedì 15 marzo è sospesa.

=== Appelli ===
29/1/2007 - 27/2/2007 - 12/4/2007 - 11/6/2007 - 9/7/2007 - 21/9/2007

== Informazioni generali ==

=== Docenti ===
Prof. [[Giovanni Pighizzini]]
Email: pighizzi [AT] dico [DOT] unimi [DOT] it
Pagina personale: http://pighizzini.dico.unimi.it/

=== Modalità d'esame ===
* L'esame consisterà nello svolgimento e discussione di un progetto per chi vuole presentarsi ai primi appelli (il progetto sarà in linea con gli esercizi svolti a lezione, di conseguenza questa è la modalità consigliata per i frequentanti), altrimenti consisterà in una prova orale sugli argomenti del corso.

=== Prerequisiti al corso ===
Linguaggi formali e automi.

=== Orari e luogo delle lezioni ===
Martedì: 14:30-16:30, auletta 5, via Comelico
Giovedì: 14:30-16:30, auletta 5, via Comelico

=== Orario di ricevimento studenti ===
Martedì dalle 11:00 alle 13:00, stanza P118 via Comelico 39

== Informazioni specifiche ==

=== Sito del corso ===
http://pighizzini.dico.unimi.it/linguaggi/

== Materiale didattico ==

=== Programma del corso ===
1. Generalità
:Introduzione alla struttura e al disegno di un compilatore. Fasi di lavoro di un compilatore. Front-end e back-end. Interpreti, assemblatori e altri strumenti per la manipolazione dei linguaggi di programmazione.

2. Manipolazione automatica di linguaggi regolari
:Richiami su linguaggi regolari, espressioni regolari e automi a stati finiti. Implementazione di programmi per il riconoscimento di linguaggi regolari. Analizzatori lessicali. Strumenti per la generazione automatica di analizzatori lessicali (lex, flex, jflex, ...).

3. Manipolazione automatica di linguaggi liberi dal contesto
:Richiami sui linguaggi liberi dal contesto. Algoritmi generali di parsing (CYK e algoritmo di Earley). Analizzatori sintattici: tecniche generali di parsing (top down e bottom up). Strumenti per la generazione automatica di analizzatori sintattici (yacc, CUP, ...).

4. Analisi semantica e generazione di codice
:Grammatiche ad attributi. Type checking Schemi di traduzione diretta dalla sintassi e loro implementazione. Symbol table. Gestione degli errori. Codice intermedio. Generazione e ottimizzazione del codice.

=== Testi ===
A. Aho, M. Lam, R. Sheti, J. Ullman, Compilers. Principles, techniques and tools, 2/E, Addison-Wesley, 2007
(oppure prima edizione 1986).
A.W. Appel, Modern Compiler Implementation in Java, Cambridge University Press, 1998.

== Diario del corso ==

=== Lezione di Martedì 06 marzo 2007 ===

* Introduzione al corso e informazioni generali.
* Nozioni di base per definire un compilatore:
** Definizione di alfabeto, stringa, linguaggio
** Rappresentazione riconoscitiva (=automi) vs generativa (grammatiche)
** Classificazione delle grammatiche di Chomsky e relazione con i riconoscitori (automi a stati finiti/a pila, macchine di Turing)
** Concetto di distanza fra due stringhe (distanza di Hamming, edit distance) e di distanza fra una stringa e un linguaggio.

=== Lezione di Giovedì 08 marzo 2007 ===

* Ancora introduzione ai compilatori:
** Differenza tra compilatori, assemblatori, interpreti, compilatori interpretativi (Pascal e P-code, Java e Bytecode), editor e formattatori
** Distinzione tra sintassi e semantica, accenno alle grammatiche con attributi (di cui parleremo più avanti)
** Definizione formale di traduttore
** Compilatori just-in-time, Java HotSpot, concetto di portabilità (tutto ciò solo accennato senza entrare nei dettagli)
** Tecniche di bootstrap e cross compiling.

=== Lezione di Martedì 13 marzo 2007 ===

* Linker
** Fase di verifica
** Fase di collegamento.
* Requisiti per un buon compilatore.
* Struttura generale di un compilatore:
** Panoramica ad alto livello sulle fasi del compilatore
** Gestione della symbol table
** Analisi lessicale (tokens)
** Analisi sintattica (parse tree)
** Analisi semantica (type checking)
** Generazione di codice intermedio (passate).

=== Lezione di Martedì 20 marzo 2007 ===

* Generazione del codice intermedio
** Codice per macchina a stack / Codice a 3 indirizzi
** Ottimizzazione del codice intermedio.
* Problema dell'organizzazione della memoria.
* Compilatori front-end e back-end.
* Analizzatore lessicale
** Definizione dei token
** Problemi nel riconoscimento dei token (longest match + parole riservate)
** Esempi di scomposizione in token su alcuni linguaggi.

=== Lezione di Giovedì 22 marzo 2007 ===

* Token con attributi.
* Automi a stati finiti
** Ripasso dei concetti base necessari a definire i linguaggi e gli automi
** Equivalenza tra automi deterministici, non deterministici e con <math>\varepsilon</math>-mosse.

Linguaggi e traduttori II/2006-2007

2007-03-09T18:41:44Z

Polsy: /* Lezione di Giovedì 08 marzo 2007 */

[[Categoria:Corsi 2006-2007]]

== News ==

La lezione di giovedì 15 marzo è sospesa.

=== Appelli ===
29/1/2007 - 27/2/2007 - 12/4/2007 - 11/6/2007 - 9/7/2007 - 21/9/2007

== Informazioni generali ==

=== Docenti ===
Prof. [[Giovanni Pighizzini]]
Email: pighizzi [AT] dico [DOT] unimi [DOT] it
Pagina personale: http://pighizzini.dico.unimi.it/

=== Modalità d'esame ===
* L'esame consisterà nello svolgimento e discussione di un progetto per chi vuole presentarsi ai primi appelli (il progetto sarà in linea con gli esercizi svolti a lezione, di conseguenza questa è la modalità consigliata per i frequentanti), altrimenti consisterà in una prova orale sugli argomenti del corso.

=== Prerequisiti al corso ===
Linguaggi formali e automi.

=== Orari e luogo delle lezioni ===
Martedì: 14:30-16:30, auletta 5, via Comelico
Giovedì: 14:30-16:30, auletta 5, via Comelico

=== Orario di ricevimento studenti ===
Martedì dalle 11:00 alle 13:00, stanza P118 via Comelico 39

== Informazioni specifiche ==

=== Sito del corso ===
http://pighizzini.dico.unimi.it/linguaggi/

== Materiale didattico ==

=== Programma del corso ===
1. Generalità
:Introduzione alla struttura e al disegno di un compilatore. Fasi di lavoro di un compilatore. Front-end e back-end. Interpreti, assemblatori e altri strumenti per la manipolazione dei linguaggi di programmazione.

2. Manipolazione automatica di linguaggi regolari
:Richiami su linguaggi regolari, espressioni regolari e automi a stati finiti. Implementazione di programmi per il riconoscimento di linguaggi regolari. Analizzatori lessicali. Strumenti per la generazione automatica di analizzatori lessicali (lex, flex, jflex, ...).

3. Manipolazione automatica di linguaggi liberi dal contesto
:Richiami sui linguaggi liberi dal contesto. Algoritmi generali di parsing (CYK e algoritmo di Earley). Analizzatori sintattici: tecniche generali di parsing (top down e bottom up). Strumenti per la generazione automatica di analizzatori sintattici (yacc, CUP, ...).

4. Analisi semantica e generazione di codice
:Grammatiche ad attributi. Type checking Schemi di traduzione diretta dalla sintassi e loro implementazione. Symbol table. Gestione degli errori. Codice intermedio. Generazione e ottimizzazione del codice.

=== Testi ===
A. Aho, M. Lam, R. Sheti, J. Ullman, Compilers. Principles, techniques and tools, 2/E, Addison-Wesley, 2007
(oppure prima edizione 1986).
A.W. Appel, Modern Compiler Implementation in Java, Cambridge University Press, 1998.

== Diario del corso ==

=== Lezione di Martedì 06 marzo 2007 ===
* Introduzione al corso e informazioni generali.
* Nozioni di base per definire un compilatore:
** Definizione di alfabeto, stringa, linguaggio
** Rappresentazione riconoscitiva (=automi) vs generativa (grammatiche)
** Classificazione delle grammatiche di Chomsky e relazione con i riconoscitori (automi a stati finiti/a pila, macchine di Turing)
** Concetto di distanza fra due stringhe (distanza di Hamming, edit distance) e di distanza fra una stringa e un linguaggio.

=== Lezione di Giovedì 08 marzo 2007 ===

* Ancora introduzione ai compilatori:
** Differenza tra compilatori, assemblatori, interpreti, compilatori interpretativi (Pascal e P-code, Java e Bytecode), editor e formattatori
** Distinzione tra sintassi e semantica, accenno alle grammatiche con attributi (di cui parleremo più avanti)
** Definizione formale di traduttore
** Compilatori just-in-time, Java HotSpot, concetto di portabilità (tutto ciò solo accennato senza entrare nei dettagli)
** Tecniche di bootstrap e cross compiling.

Linguaggi e traduttori II/2006-2007

2007-03-09T18:23:34Z

Polsy:

[[Categoria:Corsi 2006-2007]]

== News ==

La lezione di giovedì 15 marzo è sospesa.

=== Appelli ===
29/1/2007 - 27/2/2007 - 12/4/2007 - 11/6/2007 - 9/7/2007 - 21/9/2007

== Informazioni generali ==

=== Docenti ===
Prof. [[Giovanni Pighizzini]]
Email: pighizzi [AT] dico [DOT] unimi [DOT] it
Pagina personale: http://pighizzini.dico.unimi.it/

=== Modalità d'esame ===
* L'esame consisterà nello svolgimento e discussione di un progetto per chi vuole presentarsi ai primi appelli (il progetto sarà in linea con gli esercizi svolti a lezione, di conseguenza questa è la modalità consigliata per i frequentanti), altrimenti consisterà in una prova orale sugli argomenti del corso.

=== Prerequisiti al corso ===
Linguaggi formali e automi.

=== Orari e luogo delle lezioni ===
Martedì: 14:30-16:30, auletta 5, via Comelico
Giovedì: 14:30-16:30, auletta 5, via Comelico

=== Orario di ricevimento studenti ===
Martedì dalle 11:00 alle 13:00, stanza P118 via Comelico 39

== Informazioni specifiche ==

=== Sito del corso ===
http://pighizzini.dico.unimi.it/linguaggi/

== Materiale didattico ==

=== Programma del corso ===
1. Generalità
:Introduzione alla struttura e al disegno di un compilatore. Fasi di lavoro di un compilatore. Front-end e back-end. Interpreti, assemblatori e altri strumenti per la manipolazione dei linguaggi di programmazione.

2. Manipolazione automatica di linguaggi regolari
:Richiami su linguaggi regolari, espressioni regolari e automi a stati finiti. Implementazione di programmi per il riconoscimento di linguaggi regolari. Analizzatori lessicali. Strumenti per la generazione automatica di analizzatori lessicali (lex, flex, jflex, ...).

3. Manipolazione automatica di linguaggi liberi dal contesto
:Richiami sui linguaggi liberi dal contesto. Algoritmi generali di parsing (CYK e algoritmo di Earley). Analizzatori sintattici: tecniche generali di parsing (top down e bottom up). Strumenti per la generazione automatica di analizzatori sintattici (yacc, CUP, ...).

4. Analisi semantica e generazione di codice
:Grammatiche ad attributi. Type checking Schemi di traduzione diretta dalla sintassi e loro implementazione. Symbol table. Gestione degli errori. Codice intermedio. Generazione e ottimizzazione del codice.

=== Testi ===
A. Aho, M. Lam, R. Sheti, J. Ullman, Compilers. Principles, techniques and tools, 2/E, Addison-Wesley, 2007
(oppure prima edizione 1986).
A.W. Appel, Modern Compiler Implementation in Java, Cambridge University Press, 1998.

== Diario del corso ==

=== Lezione di Martedì 06 marzo 2007 ===
* Introduzione al corso e informazioni generali.
* Nozioni di base per definire un compilatore:
** Definizione di alfabeto, stringa, linguaggio
** Rappresentazione riconoscitiva (=automi) vs generativa (grammatiche)
** Classificazione delle grammatiche di Chomsky e relazione con i riconoscitori (automi a stati finiti/a pila, macchine di Turing)
** Concetto di distanza fra due stringhe (distanza di Hamming, edit distance) e di distanza fra una stringa e un linguaggio.

=== Lezione di Giovedì 08 marzo 2007 ===

* Ancora introduzione ai compilatori:
** Differenza tra compilatori, assemblatori, interpreti, compilatori interpretativi, editor e formattatori
** Distinzione tra sintassi e semantica, accenno alle grammatiche con attributi (di cui parleremo più avanti)
** Definizione formale di traduttore
** Compilatori just-in-time, Java HotSpot, concetto di portabilità (tutto ciò solo accennato senza entrare nei dettagli)
** Tecniche di bootstrap e cross compiling.

Metodi probabilistici/2006-2007

2007-03-09T18:17:16Z

Polsy:

Linguaggi e traduttori II/2006-2007

2007-03-09T17:49:25Z

Polsy: /* Lezione di Giovedì 08 marzo 2007 */

[[Categoria:Corsi 2006-2007]]

== News ==

La lezione di giovedì 15 marzo è sospesa.

=== Appelli ===
29/1/2007 - 27/2/2007 - 12/4/2007 - 11/6/2007 - 9/7/2007 - 21/9/2007

== Informazioni generali ==

=== Docenti ===
* Prof. [[Giovanni Pighizzini]]
** Email: pighizzi [AT] dico [DOT] unimi [DOT] it
** Pagina personale: http://pighizzini.dico.unimi.it/

=== Modalità d'esame ===
L'esame consisterà nello svolgimento e discussione di un progetto per chi vuole presentarsi ai primi appelli (il progetto sarà in linea con gli esercizi svolti a lezione, di conseguenza questa è la modalità consigliata per i frequentanti), altrimenti consisterà in una prova orale sugli argomenti del corso.

=== Prerequisiti al corso ===
Linguaggi formali e automi.

=== Orari e luogo delle lezioni ===
* Martedì: 14:30-16:30, auletta 5, via Comelico
* Giovedì: 14:30-16:30, auletta 5, via Comelico

=== Orario di ricevimento studenti ===
* Martedì dalle 11:00 alle 13:00, stanza P118 via Comelico 39

== Informazioni specifiche ==

=== Sito del corso ===
* http://pighizzini.dico.unimi.it/linguaggi/

== Materiale didattico ==

=== Programma del corso ===
1. Generalità
:Introduzione alla struttura e al disegno di un compilatore. Fasi di lavoro di un compilatore. Front-end e back-end. Interpreti, assemblatori e altri strumenti per la manipolazione dei linguaggi di programmazione.

2. Manipolazione automatica di linguaggi regolari
:Richiami su linguaggi regolari, espressioni regolari e automi a stati finiti. Implementazione di programmi per il riconoscimento di linguaggi regolari. Analizzatori lessicali. Strumenti per la generazione automatica di analizzatori lessicali (lex, flex, jflex, ...).

3. Manipolazione automatica di linguaggi liberi dal contesto
:Richiami sui linguaggi liberi dal contesto. Algoritmi generali di parsing (CYK e algoritmo di Earley). Analizzatori sintattici: tecniche generali di parsing (top down e bottom up). Strumenti per la generazione automatica di analizzatori sintattici (yacc, CUP, ...).

4. Analisi semantica e generazione di codice
:Grammatiche ad attributi. Type checking Schemi di traduzione diretta dalla sintassi e loro implementazione. Symbol table. Gestione degli errori. Codice intermedio. Generazione e ottimizzazione del codice.

=== Testi ===
*A. Aho, M. Lam, R. Sheti, J. Ullman, Compilers. Principles, techniques and tools, 2/E, Addison-Wesley, 2007 (oppure prima edizione 1986).

*A.W. Appel, Modern Compiler Implementation in Java, Cambridge University Press, 1998.

== Diario del corso ==

=== Lezione di Martedì 06 marzo 2007 ===
* Introduzione al corso e informazioni generali.
* Nozioni di base per definire un compilatore:
** Definizione di alfabeto, stringa, linguaggio
** Rappresentazione riconoscitiva (=automi) vs generativa (grammatiche)
** Classificazione delle grammatiche di Chomsky e relazione con i riconoscitori (automi a stati finiti/a pila, macchine di Turing)
** Concetto di distanza fra due stringhe (distanza di Hamming, edit distance) e di distanza fra una stringa e un linguaggio.

=== Lezione di Giovedì 08 marzo 2007 ===

* Ancora introduzione ai compilatori:
** Differenza tra compilatori, assemblatori, interpreti, compilatori interpretativi, editor e formattatori
** Distinzione tra sintassi e semantica, accenno alle grammatiche con attributi (di cui parleremo più avanti)
** Definizione formale di traduttore
** Compilatori just-in-time, Java HotSpot, concetto di portabilità (tutto ciò solo accennato senza entrare nei dettagli)
** Tecniche di bootstrap e cross compiling.

Linguaggi e traduttori II/2006-2007

2007-03-09T17:47:32Z

Polsy: /* Diario del corso */

[[Categoria:Corsi 2006-2007]]

== News ==

La lezione di giovedì 15 marzo è sospesa.

=== Appelli ===
29/1/2007 - 27/2/2007 - 12/4/2007 - 11/6/2007 - 9/7/2007 - 21/9/2007

== Informazioni generali ==

=== Docenti ===
* Prof. [[Giovanni Pighizzini]]
** Email: pighizzi [AT] dico [DOT] unimi [DOT] it
** Pagina personale: http://pighizzini.dico.unimi.it/

=== Modalità d'esame ===
L'esame consisterà nello svolgimento e discussione di un progetto per chi vuole presentarsi ai primi appelli (il progetto sarà in linea con gli esercizi svolti a lezione, di conseguenza questa è la modalità consigliata per i frequentanti), altrimenti consisterà in una prova orale sugli argomenti del corso.

=== Prerequisiti al corso ===
Linguaggi formali e automi.

=== Orari e luogo delle lezioni ===
* Martedì: 14:30-16:30, auletta 5, via Comelico
* Giovedì: 14:30-16:30, auletta 5, via Comelico

=== Orario di ricevimento studenti ===
* Martedì dalle 11:00 alle 13:00, stanza P118 via Comelico 39

== Informazioni specifiche ==

=== Sito del corso ===
* http://pighizzini.dico.unimi.it/linguaggi/

== Materiale didattico ==

=== Programma del corso ===
1. Generalità
:Introduzione alla struttura e al disegno di un compilatore. Fasi di lavoro di un compilatore. Front-end e back-end. Interpreti, assemblatori e altri strumenti per la manipolazione dei linguaggi di programmazione.

2. Manipolazione automatica di linguaggi regolari
:Richiami su linguaggi regolari, espressioni regolari e automi a stati finiti. Implementazione di programmi per il riconoscimento di linguaggi regolari. Analizzatori lessicali. Strumenti per la generazione automatica di analizzatori lessicali (lex, flex, jflex, ...).

3. Manipolazione automatica di linguaggi liberi dal contesto
:Richiami sui linguaggi liberi dal contesto. Algoritmi generali di parsing (CYK e algoritmo di Earley). Analizzatori sintattici: tecniche generali di parsing (top down e bottom up). Strumenti per la generazione automatica di analizzatori sintattici (yacc, CUP, ...).

4. Analisi semantica e generazione di codice
:Grammatiche ad attributi. Type checking Schemi di traduzione diretta dalla sintassi e loro implementazione. Symbol table. Gestione degli errori. Codice intermedio. Generazione e ottimizzazione del codice.

=== Testi ===
*A. Aho, M. Lam, R. Sheti, J. Ullman, Compilers. Principles, techniques and tools, 2/E, Addison-Wesley, 2007 (oppure prima edizione 1986).

*A.W. Appel, Modern Compiler Implementation in Java, Cambridge University Press, 1998.

== Diario del corso ==

=== Lezione di Martedì 06 marzo 2007 ===
* Introduzione al corso e informazioni generali.
* Nozioni di base per definire un compilatore:
** Definizione di alfabeto, stringa, linguaggio
** Rappresentazione riconoscitiva (=automi) vs generativa (grammatiche)
** Classificazione delle grammatiche di Chomsky e relazione con i riconoscitori (automi a stati finiti/a pila, macchine di Turing)
** Concetto di distanza fra due stringhe (distanza di Hamming, edit distance) e di distanza fra una stringa e un linguaggio.

=== Lezione di Giovedì 08 marzo 2007 ===

* Differenza tra compilatori, assemblatori, interpreti, compilatori interpretativi, editor e formattatori.
* Distinzione tra sintassi e semantica, accenno alle grammatiche con attributi (di cui parleremo più avanti).
* Definizione formale di traduttore.
* Compilatori just-in-time, Java HotSpot, concetto di portabilità (tutto ciò solo accennato senza entrare nei dettagli).
* Tecniche di bootstrap e cross compiling.

Linguaggi e traduttori II/2006-2007

2007-03-09T17:23:16Z

Polsy: /* News */

Linguaggi e traduttori II/2006-2007

2007-03-07T11:33:06Z

Polsy:

[[Categoria:Corsi 2006-2007]]

== News ==

=== Appelli ===
29/1/2007 - 27/2/2007 - 12/4/2007 - 11/6/2007 - 9/7/2007 - 21/9/2007

== Informazioni generali ==

=== Docenti ===
* Prof. [[Giovanni Pighizzini]]
** Email: pighizzi [AT] dico [DOT] unimi [DOT] it
** Pagina personale: http://pighizzini.dico.unimi.it/

=== Modalità d'esame ===
L'esame consisterà nello svolgimento e discussione di un progetto per chi vuole presentarsi ai primi appelli (il progetto sarà in linea con gli esercizi svolti a lezione, di conseguenza questa è la modalità consigliata per i frequentanti), altrimenti consisterà in una prova orale sugli argomenti del corso.

=== Prerequisiti al corso ===
Linguaggi formali e automi.

=== Orari e luogo delle lezioni ===
* Martedì: 14:30-16:30, auletta 5, via Comelico
* Giovedì: 14:30-16:30, auletta 5, via Comelico

=== Orario di ricevimento studenti ===
* Martedì dalle 11:00 alle 13:00, stanza P118 via Comelico 39

== Informazioni specifiche ==

=== Sito del corso ===
* http://pighizzini.dico.unimi.it/linguaggi/

== Materiale didattico ==

=== Programma del corso ===
1. Generalità
:Introduzione alla struttura e al disegno di un compilatore. Fasi di lavoro di un compilatore. Front-end e back-end. Interpreti, assemblatori e altri strumenti per la manipolazione dei linguaggi di programmazione.

2. Manipolazione automatica di linguaggi regolari
:Richiami su linguaggi regolari, espressioni regolari e automi a stati finiti. Implementazione di programmi per il riconoscimento di linguaggi regolari. Analizzatori lessicali. Strumenti per la generazione automatica di analizzatori lessicali (lex, flex, jflex, ...).

3. Manipolazione automatica di linguaggi liberi dal contesto
:Richiami sui linguaggi liberi dal contesto. Algoritmi generali di parsing (CYK e algoritmo di Earley). Analizzatori sintattici: tecniche generali di parsing (top down e bottom up). Strumenti per la generazione automatica di analizzatori sintattici (yacc, CUP, ...).

4. Analisi semantica e generazione di codice
:Grammatiche ad attributi. Type checking Schemi di traduzione diretta dalla sintassi e loro implementazione. Symbol table. Gestione degli errori. Codice intermedio. Generazione e ottimizzazione del codice.

=== Testi ===
*A. Aho, M. Lam, R. Sheti, J. Ullman, Compilers. Principles, techniques and tools, 2/E, Addison-Wesley, 2007 (oppure prima edizione 1986).

*A.W. Appel, Modern Compiler Implementation in Java, Cambridge University Press, 1998.

== Diario del corso ==

=== Lezione di Martedì 06 marzo 2007 ===
* Introduzione al corso e informazioni generali.
* Nozioni di base per definire un compilatore:
** Definizione di alfabeto, stringa, linguaggio
** Rappresentazione riconoscitiva (=automi) vs generativa (grammatiche)
** Classificazione delle grammatiche di Chomsky e relazione con i riconoscitori (automi a stati finiti/a pila, macchine di Turing)
** Concetto di distanza fra due stringhe (distanza di Hamming, edit distance) e di distanza fra una stringa e un linguaggio