Facoltà di Economia Corso di Laurea in Economia Informatica

1. Universtitàdegli Studi “G. D’Annunzio”Chieti – Pescara Facoltà di Economia Corso di Laurea in Economia Informatica Strumenti Formali per l’Analisi Lessicale – Sintattica dei Compilatori Laureanda RelatoreCaterina Mandolini Stefano Bistarelli Anno Accademico 2003-2004

2. STRUMENTI FORMALI PER L’ANALISI LESSICALE-SINTATTICA DEI COMPILATORI. 1) Compilatori 2) Analisi Lessicale – Sintattica 3) Strumenti Formali

3. Il compilatore come traduttore da linguaggi di alto livello a linguaggi di basso livello P2 Programma Oggetto P1 Programma Sorgente Compilatore P1 equivalente a P2 Tipicamente: • Il programma sorgente è scritto in un linguaggio di alto livello. • Il programma oggetto nel linguaggio macchina.

4. Linguaggi di Programmazione Alto livello: Pascal, C, Java X=Y+5 Basso livello: Linguaggio macchina 001 0110 010 0001

5. Il Compilatore ci consente di Sfruttare le Potenzialità della Macchina (Velocità e Precisione nell’esecuzione delle istruzioni) evitandoci l’Onere di imparare il Linguaggio Macchina

6. Modello analisi - sintesi Analisi lessicale Analisi sintattica Analisi semantica Rappresentazione Intermedia Sintesi P.O. P.S. Analisi Analisi

7. Il modulo dell’analisi: esempio Vogliamo assegnare alla variabile C il numero 2.795. Supponiamo che l’istruzione di assegnamento sia := • C=2.795 …….Errore!!! Analizzatore Lessicale • 2.795:=C …….Errore!!! Analizzatore sintattico • C:=2.795 …….Errore!!! Analizzatore semantico

8. Analizzatore Lessicale e Parser Verifica della correttezza sintattica del programma

9. Linguaggi formali • x y (f(x)<y) Il linguaggio matematico è un linguaggio formale o informale? • Conta il numero dei bit La lingua italiana è un linguaggio formale o informale?

10. Linguaggio Formale • E’ un insieme costituito da un numero (finito o infinito) di frasi. • Ogni frase è una sequenza finita di simboli. H = {f1, f2, …, fn, …} f1= , f2= , … , fn= n ,…. H è un linguaggio formale?

11. Grammatiche Generative <FRASE>  <SOGGETTO> <PREDICATO> <COMPLEMENTO> <SOGGETTO>  Luca | Maria <PREDICATO>  guarda | chiama <COMPLEMENTO>  <ARTICOLO> <NOME> <ARTICOLO>  il <NOME>  cane

12. Luca chiama il cane 1) <FRASE> 2) <SOGGETTO> <PREDICATO> <COMPLEMENTO> 3) Luca <PREDICATO> <COMPLEMENTO> 4) Luca chiama <COMPLEMENTO> 5) Luca chiama <ARTICOLO> <NOME> 6) Luca chiama il <NOME> 7) Luca chiama il cane

13. <FRASE> <SOGGETTO> <PREDICATO> <COMPLEMENTO> Luca chiama <ARTICOLO> <NOME> il cane Albero di derivazione

14. Classificazione delle grammatiche alla Chomsky I linguaggi regolari ed i linguaggi liberi sono decidibili. Complessità lineare: O(n3) e O(n) Tipo 0 Tipo 1: dipendenti dal contesto A Tipo 2: libere dal contesto A Tipo 3: regolari AaB | a

15. Nastro di input  Controllo a stati finiti Automa a Stati Finiti

16. Nastro di input  Controllo a stati finiti Memoria a pila Automa a Pila

17. STRUMENTI AUTOMATICI • Analizzatore lessicale: LEX • Analizzatore sintattico: YACC (Yet Another Compiler Compiler)

18. Token LEX YACC P.S. ….. Altro token INTERAZIONE LEX – YACC

19. Sintassi LEX P1, P2, …, Pn %% P1 {Azione 1} P2 {Azione 2} ... Pn {Azione n}

20. Sintassi YACC % token T1, T2,…, Tn, %% A1: 1 {Azione semantica 1} A2: 2 {Azione semantica 2} ... An: n {Azione semantica n}

21. Programma YACC: esempio % token NUMERO %% espr: espr ‘+’ espr {$$= $1 + $3;} | espr ‘-’ espr {$$= $1 - $3;} | espr ‘*’ espr {$$= $1 * $3;} | espr ‘/’ espr {$$= $1 / $3;} | espr ‘-’ espr {$$= $1 - $3;} | ‘(’ espr ‘)’ {$$= $2} | NUMERO Programma LEX NUMERO [0-9] %% {NUMERO} {yylval=valore(); return (NUMERO);}