Linguaggi Diversi tipi di linguaggi:

Presentazione sul tema: "Linguaggi Diversi tipi di linguaggi:"— Transcript della presentazione:

1 Linguaggi Diversi tipi di linguaggi:
Imperativi Funzionali Dichiarativi Tutti basati sulla traduzione nell'unico linguaggio eseguibile dal calcolatore: il Linguaggio Macchina

2 Linguaggio Macchina Insieme di istruzioni eseguibili dalla CPU
Dipende dalla CPU: cablata al suo interno, ogni istruzione genera una sequenza di segnali di controllo Linguaggio di basso livello si può accedere direttamente alle funzionalità di base del calcolatore

3 Linguaggio Macchina Complesso da utilizzare:
ogni istruzione esegue un'operazione semplicissima esistono librerie con procedure generali Gli altri linguaggi vengono "convertiti" in sequenze di istruzioni in linguaggio macchina

4 Linguaggio Macchina Il Linguaggio Macchina è estremamente efficiente
I programmi sono: più veloci più corti ma più complessi

5 Linguaggio Macchina La scrittura è complessa:
istruzioni formate da stringhe di 1 e 0: quindi è necessario un insieme di simboli (Linguaggio Assembly) per referenziare le locazioni di memoria è necessario avere delle etichette necessario commentare ogni istruzione

6 Istruzioni Macchina Composte da:
etichette (per eliminare riferimenti ad indirizzi fisici, facilitano le modifiche) codici operativi (non può mai mancare) operandi (0, 1 o 2) START: MOV AX, BX CMP AX, 12h JZ EQUAL INT 21h RET EQUAL: MOV BL, 82h

7 Il BIOS Il BIOS (Basic Input Output System) è uno strato di software utilizzato per standardizzare l'accesso ai periferici Fornisce un insieme di procedure standard di interfaccia Permette la gestione a basso livello di: video, tastiera, mouse, stampante,…

8 Applicazioni Assembly
Visione stratificata Livelli superiori Applicazioni Assembly Sistema Operativo BIOS Hardware

9 Linguaggi Classificati rispetto alle caratteristiche principali:
potere espressivo che influenza lo stile di programmazione

10 Linguaggi - basso livello
Il linguaggio macchina specifica solo le operazioni che l'elaboratore può eseguire 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"

11 Linguaggi - basso livello
Una prima evoluzione è stata l'introduzione di linguaggi simbolici: linguaggi assemblativi ancora orientati alla macchina e non ai problemi più immediati da utilizzare definiscono variabili, simboli,...

12 Linguaggi - alto 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

13 Linguaggi - alto livello
Caratteristiche: 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)

14 Linguaggi Imperativi Linguaggi più evoluti:
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

15 Linguaggi Imperativi Caratteristiche: di utilizzo più semplice
indipendenti dall'elaboratore purtroppo ancora legati al modello di Von Neumann: i programmi sono ancora una sequenza di istruzioni; l'evoluzione del calcolo è costituita da una variazione dello stato della memoria

16 Linguaggi Imperativi Eseguono 3 tipi di operazioni:
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 e le librerie molto complete)

17 Linguaggi Funzionali Non sono legati al modello di Von Neumann ma al concetto di programmazione funzionale Il primo linguaggio funzionale: Lisp (List Processing), fine anni '50 caratteristiche di manipolazione agevole di informazioni di tipo simbolico

18 Linguaggi Funzionali 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

19 Linguaggi Funzionali Caratteristiche:
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)

20 Linguaggi Dichiarativi
Basati sulla logica 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

21 Linguaggi Dichiarativi
Programmazione: semplice (occorre solo definire la propria conoscenza del problema) avviene tramite una formulazione dichiarativa Esempio: Prolog

22 Linguaggi Dichiarativi
Un programma Prolog è costituito da: Asserzioni incondizionate (fatti): A 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, …

23 Esempio Il fattoriale: Fatt (0,1) Fatt (z,w) IF Dec(z,z1), Fatt(z1,w1),Prod(z,w1,w) Problemi risolubili: calcolo del fatoriale: ? Fatt(3, x) calcolo di quel numero il cui fattoriale è noto: ? Fatt(x, 6)

24 Esempio Ricerca in un grafo orientato:
B Ricerca in un grafo orientato: con la richiesta ? go(E) viene determinata la sequenza E, C, A A D 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) C E

25 Linguaggi Orientati agli Oggetti
In un linguaggio di programmazione orientato agli oggetti (OOP) un programma consiste: Definizione di un insieme di classi. Creazione di un insieme di oggetti ed esecuzione dei suo metodi. Una classe definisce un tipo di oggetto come insieme di: Variabili Metodi I linguaggi OOP sono i linguaggi del futuro perché permettono un miglior riuso del software. Il C++ e Java sono i due linguaggi OOP più diffusi.

26 Sintassi e Semantica Nei linguaggi naturali si distinguono:
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

27 Sintassi e Semantica 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 generalmente è un traduttore verso il linguaggio macchina di un dato elaboratore

28 Sintassi Per definire la sintassi di un linguaggio, è necessario definire le grammatiche La grammatica è un insieme di regole che servono per costruire una frase

29 Grammatica 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

30 Grammatica Le produzioni possono essere scritte:
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

31 Grammatica Derivazioni:
una stringa c deriva dalla stringa b se esse possono essere decomposte in: b = m A n c = m a n con m e n simboli non terminali e se esiste la produzione A ::= a

32 Grammatica Data una grammatica, il linguaggio generato è definito come l'insieme delle frasi derivabili a partire dall'assioma S Le frasi di un linguaggio di programma-zione sono dette programmi

33 Formalismo di Backus-Naur (Backus -Naur Form, BNF)
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

34 Esempio di grammatica 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>

35 Extended BNF X ::= [a]b equivale a X ::= b|ab
X ::= {a}nb equivale a X ::= b|ab|aab|… ripetendo a fino a n volte X ::= {a}b equivale a X ::= b|ab|aab|… ripetendo a un numero di volte indefinito Equivale ad avere nella grammatica la produzione X ::= b | aX (ricorsiva)

36 Esempio di grammatica 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

37 Alberi sintattici Il processo di derivazione può essere descritto tramite un albero sintattico <frase> <soggetto> <verbo> <compl-oggetto> <articolo> <nome> <articolo> <nome> il gatto mangia il topo

38 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

39 Esempio di diagramma sintattico
<intero> ::= + - <cifra-non-nulla> <cifra>

40 Sintassi dei linguaggi di programmazione
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!

41 Esempio di grammatica ambigua
Esempio: <expr> ::= x | y | z | (<expr>) | <expr>+<expr> | <expr>*<expr> 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

42 Esempio di grammatica ambigua
Nella definizione dei linguaggi si deve evitare l'ambiguità Esempio: <istruzione-if> ::= if <espressione> then <istruzione> else <istruzione>

43 Analizzatore sintattico
L'analisi della correttezza è eseguita dall'elaboratore: è suddiviso in 3 passi: 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,…)

44 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

45 Software di base Tra il linguaggio macchina (basso livello) e i linguaggi evoluti (alto livello) esiste uno strato di software Esso svolge funzioni di base: traduzione di linguaggi da alto a basso livello comunicazione tra i vari sottosistemi hardware gestione e distribuzione delle risorse

46 Esecuzione dei programmi
L'esecuzione di un programma scritto con un linguaggio ad alto livello è preceduta dai seguenti passi: traduzione in linguaggio macchina collegamento con programmi di supporto (calcoli, comunicazione con periferiche,…) caricamento in memoria

47 Compilatori e Interpreti
Esistono due modi per eseguire i 3 passi menzionati: in sequenza, dopo il termine del passo precedente (compilatori) in sequenza, prima del termine del passo precedente (interprete, detto anche simulazione software)

48 Traduzione in linguaggio macchina
Viene suddivisa in 2 passi: analisi (lessicale, grammaticale, contestuale) trasformazione del programma sorgente in programma oggetto (forma più vicina al linguaggio macchina): creazione tabella simboli ottimizzazioni (rimozione ripetizioni, eliminazione cicli, sfruttamento registri,…); livelli di ottimizzazione

49 Collegamento con programmi di supporto
Il codice oggetto così formato: può ancora contenere dei simboli irrisolti riferimenti esterni a programmi di servizio (accesso alle periferiche, calcoli matematici,...) contiene indirizzi relativi Il Linker serve per collegare diversi moduli oggetto

50 Caricamento in memoria
Il Loader serve per caricare in memoria un programma rilocabile Nel caricamento vengono fissati tutti gli indirizzi relativi variabili, salti, … Vengono caricati anche i programmi di supporto, se necessari