Linguaggi Linguaggi - basso livello • Classificati rispetto alle caratteristiche principali: • Il linguaggio macchina specifica solo le operazioni che l'elaboratore può eseguire – potere espressivo che influenza lo stile di programmazione – sintattica molto elementare" – diverso per ogni processore • dipende dalle caratteristiche architetturali • E' più orientato alla macchina che ai problemi da trattare – è infatti definito di "basso livello" Fondamenti di Informatica 1 Linguaggi - basso livello • Altri linguaggi sono basati su: – la descrizione del problema in modo intuitivo, dimenticandosi che verranno eseguiti da un calcolatore – obiettivo: fornire un mezzo espressivo per specificare all'elaboratore il compito da eseguire – ancora orientati alla macchina e non ai problemi – più immediati da utilizzare – definiscono variabili, simboli,... 3 Linguaggi - alto livello Fondamenti di Informatica 4 Linguaggi Imperativi • Caratteristiche: • Linguaggi più evoluti: – ognuno ha i propri paradigmi che garantiscono forme espressive appropriate per alcuni problemi specifici – questa specificità ha favorito la loro proliferazione (fenomeno intrinseco alla natura del linguaggio come forma di comunicazione) Fondamenti di Informatica 2 Linguaggi - alto livello • Una prima evoluzione è stata l'introduzione di linguaggi simbolici: linguaggi assemblativi Fondamenti di Informatica Fondamenti di Informatica – permettono di descrivere operazioni più complesse di quelle che l'elaboratore può eseguire – livello di astrazione più alto – risalgono agli anni '50 – detti di alto livello di tipo imperativo – Es: Basic, Fortran, Pascal 5 Fondamenti di Informatica 6 1 Linguaggi Imperativi Linguaggi Imperativi • Caratteristiche: • Eseguono 3 tipi di operazioni: – di utilizzo più semplice – indipendenti dall'elaboratore – purtroppo ancora legati al modello di Von Neumann: – trasferimento dati – operazioni aritmetiche – alterazione del flusso del programma • Già discussi in precedenza • Basic (semplice ma poco espressivo) • Fortran (molto usato per il calcolo scientifico • i programmi sono ancora una sequenza di istruzioni; l'evoluzione del calcolo è costituita da una variazione dello stato della memoria e le librerie molto complete) Fondamenti di Informatica 7 Linguaggi Funzionali 8 Linguaggi Funzionali • Non sono legati al modello di Von Neumann ma al concetto di programmazione funzionale • Il primo linguaggio funzionale: • Differenze con i linguaggi imperativi: – il calcolo è basato sul calcolo di valori e non sull'assegnamento di valori a variabili – basato su valori e non su effetti – il risultato è il risultato di una funzione, non l'effetto causato dalla esecuzione di una sequenza di operazioni – Lisp (List Processing), fine anni '50 – caratteristiche di manipolazione agevole di informazioni di tipo simbolico Fondamenti di Informatica 9 Linguaggi Funzionali Fondamenti di Informatica 10 Linguaggi Dichiarativi • Caratteristiche: • Basati sulla logica – meccanismo di definizione funzionale per casi (tipo switch in C) – è possibile la ricorsione (utilizzando tali costrutti condizionali) – Il Lisp, però, consente anche l'iterazione e l'assegnamento (tipico dei ling. Imperativi) Fondamenti di Informatica Fondamenti di Informatica 11 – obiettivo: formalizzare il ragionamento – caratterizzati da meccanismi deduttivi • Programmare significa: – descrivere il problema con formule del linguaggio – interrogare il sistema, che effetua deduzioni sulla base delle definizioni Fondamenti di Informatica 12 2 Linguaggi Dichiarativi Linguaggi Dichiarativi • Programmazione: • Un programma Prolog è costituito da: – semplice (occorre solo definire la propria conoscenza del problema) – avviene tramite una formulazione dichiarativa – Asserzioni incondizionate (fatti): – Asserzioni condizionate (o regole): A IF B,C,D,… • A: è la conclusione (conseguente) • B,C,D: sono le premesse (o antecedenti) • Una interrogazione ha la forma: ? A, B, C, … • Esempio: Prolog Fondamenti di Informatica 13 Esempio Fondamenti di Informatica 14 Esempio • Il fattoriale: B • Ricerca in un grafo orientato: Fatt (0,1) Fatt (z,w) IF Dec(z,z1), Fatt(z1,w1),Prod(z,w1,w) • Problemi risolubili: – calcolo del fatoriale: A A go(A) arc(A,B) arc(B,C) arc(D,C) arc(A,C) arc(B,D) arc(C,E) go(y) IF arc(x,y), go(x) ? Fatt(3, x) – calcolo di quel numero il cui fattoriale è noto: ? Fatt(x, 6) Fondamenti di Informatica 15 Sintassi e Semantica C E – con la richiesta ? go(E) viene determinata la sequenza E, C, A Fondamenti di Informatica 16 Sintassi e Semantica • Nei linguaggi naturali si distinguono: • Dopo la definizione di un linguaggio (con sintassi e semantica) serve un sistema che possa eseguire i programmi scritti in tale linguaggio • Si parla di implementazione di un linguaggio – sintassi (si occupa della forma delle frasi, delle regole per la loro creazione) – semantica (significato delle frasi) • Analogamente per i linguaggi di programmazione: – sintassi: definisce i programmi legali – semantica: significato dei programmi Fondamenti di Informatica D – generalmente è un traduttore verso il linguaggio macchina di un dato elaboratore 17 Fondamenti di Informatica 18 3 Sintassi Grammatica • Per definire la sintassi di un linguaggio, è necessario definire le grammatiche • La grammatica è un insieme di regole che servono per costruire una frase Fondamenti di Informatica • La grammatica è definita da: – V: un alfabeto di simboli terminali (l'alfabeto del linguaggio) – N: un alfabeto di simboli non terminali – S: un simbolo iniziale (o assioma) – P: un insieme finito di regole sintattiche (dette produzioni) espresse nella forma: X→a 19 Grammatica • Derivazioni: – anche nella forma alternativa: X ::= a – se esistono più produzioni con parte sinistra uguale, X ::= a X ::= b X ::= c allora si può scrivere: X ::= a | b | c – una stringa c deriva dalla stringa b se esse possono essere decomposte in: b=mAn c=man con m e n simboli non terminali e se esiste la produzione A ::= a 21 Fondamenti di Informatica 22 Formalismo di Backus-Naur Grammatica (Backus -Naur Form, BNF) • Data una grammatica, il linguaggio generato è definito come l'insieme delle frasi derivabili a partire dall'assioma S • Le frasi di un linguaggio di programmazione sono dette programmi Fondamenti di Informatica 20 Grammatica • Le produzioni possono essere scritte: Fondamenti di Informatica Fondamenti di Informatica 23 • Il modo visto per definire una grammatica è detto di Backus-Naur – introdotto negli anni '50 da Backus e Naur • Esiste anche una estensione (Extended BNF, EBNF) che permette una scrittura più sintetica Fondamenti di Informatica 24 4 Esempio di grammatica Extended BNF V: { il, lo, gatto, topo, sasso, mangia, beve } N: {<frase>, <soggetto>, <verbo>, <compl-oggetto>, <articolo>} S: <frase> P contiene le seguenti produzioni: <frase>::=<soggetto><verbo><compl-oggetto> <soggetto>::=<articolo><nome> <articolo>::= il | lo <nome>::= gatto | topo | sasso <verbo>::= mangia | beve <compl-oggetto>::=<articolo><nome> Fondamenti di Informatica X ::= [a]b X ::= {a} n b equivale a X ::= b|ab equivale a X ::= b|ab|aab|… X ::= {a}b equivale a X ::= b|ab|aab|… ripetendo a fino a n volte ripetendo a un numero di volte indefinito Equivale ad avere nella grammatica la produzione X ::= b | aX (ricorsiva) 25 Fondamenti di Informatica Esempio di grammatica Alberi sintattici V: { 0,1,2,3,4,5,6,7,8,9,+,- } N: {<intero><int-senza-segno><numero> <cifra-non-nulla><cifra>} S: <intero> P contiene le seguenti produzioni: <intero> ::= [+ | - ] <int-senza-segno> <int-senza-segno> ::= <cifra> | <cifra-non-nulla><numero> <numero> ::= <cifra> | <cifra><numero> <cifra> ::= <cifra-non-nulla> | 0 <cifra-non-nulla> ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 Fondamenti di Informatica 26 • Il processo di derivazione può essere descritto tramite un albero sintattico <frase> <soggetto> <verbo> <articolo> <nome> il gatto 27 <compl-oggetto> <articolo> <nome> mangia il topo Fondamenti di Informatica 28 Esempio di diagramma sintattico Diagrammi sintattici • Sono dei grafi: – nodi: etichettati con simboli (terminali e non terminali), collegati da archi orientati – un arco da i a j significa che il simbolo i è seguito dal simbolo j – più archi rappresentano alternative – si possono aggiungere nodi fittizi per rappresentare le diramazioni Fondamenti di Informatica <intero> ::= 29 0 + - <cifra-non-nulla> <cifra> Fondamenti di Informatica 30 5 Sintassi dei linguaggi di programmazione Esempio di grammatica ambigua • Esempio: • Considerazioni sui linguaggi: – uno stesso linguaggio può essere generato da più di una grammatica – alcune grammatiche sono ambigue: cioè esistono diversi elementi che possono essere generati da diverse derivazioni (esistono cioè diversi alberi sintattici). Situazione da evitare! Fondamenti di Informatica 31 Esempio di grammatica ambigua • All'espressione x+y*z possono essere associati due alberi sintattici diversi – questo influenza anche il modo con cui viene attribuito il significato all'espressione Fondamenti di Informatica 32 Analizzatore sintattico • L'analisi della correttezza è eseguita dall'elaboratore: è suddiviso in 3 passi: • Nella definizione dei linguaggi si deve evitare l'ambiguità • Esempio: <istruzione-if> ::= if <espressione> then <istruzione> else <istruzione> Fondamenti di Informatica <expr> ::= x | y | z | (<expr>) | <expr>+<expr> | <expr>*<expr> 33 – analisi lessicale: controlla che i simboli utilizzati appartengano all'alfabeto – analisi grammaticale: verifica il rispetto delle regole grammaticali – analisi sintattica contestuale: verifica restrizioni di tipo contestuale (tipi di dati, identificatori non definiti,…) Fondamenti di Informatica 34 Analizzatore sintattico • Generalmente l'analizzatore sintattico esegue le tre verifiche simultaneamente • Si dice "ad una passata " • Durante la scansione, se viene trovato un errore, si cerca di recuperare e si prosegue fino al termine Fondamenti di Informatica 35 6