Programmazione I e Laboratorio

www.di.unipi.it/~gaddozzi DISPENSA

1^° compitino fine ottobre - inizio novembre

Lun - mar - gio → teoria

mer → programmazione

19/09

~ Sintassi vs Semantica

sintassi →

"Il bimbo mangia la mela": italiano OK

"bimbo mela il mangia la": struttura grammaticale che non ha un corrispettivo in it.)

"La mela mangia il bimbo": non è significativa ma sintatticamente è seguita.

~ Linguaggio imperativo

Ho un insieme di stati iniziali, un programma che mi porta ad un insieme di stati finali.

• STATO INIZIALE → Programma* → STATO FINALE

* trasformatore di stati: prendo un comando del tipo:

1. ST_INIZIALE{ } int x, y L (Inizializzo. Var intere)
2. {x, y}
3. {x, 0_z, y}_w∈_ϵ
4. {x_z, 0^w,y, 1_3❷➩} y = x + 1

Se io ho solo y = x + 1...

{} , } → {} , }

Tutta la componente iterativa è interpretabile come una funzione che prende uno stato e ne associa un altro.

→ Per costruire la semantica cerco di capire la struttura della sintassi ed suoi operatori ←

~ Stato

Insieme di coppie dove ad ogni variabile è associato un valore

{, }

→

If 4 x 3 ❸ ➂ ➦ devo vedere quanto vale x3 e poi sommato

www.di.unipi.it/~gaddocci DISPENSA

pages di mpl: 9, gaddocci

1^o Compitino fine ottobre - inizio novembre

Lun - mar - gio → teoria

mer → programmazione

Sintassi vs semantica

sintassi →

• "il bimbo mangia la mela": italiano OK
• "bimbo mela il mangia le": struttura grammaticale che non ha un correspettivo in it2
• "la mela mangia il bimbo" non è significativa ma sintatticamente è esatta.

Linguaggio imperativo

Ho un insieme di stati iniziali, un programma che mi porta ad un insieme di stati finali.

STATO INIZIALE ⟶ Programma* ⟶ STATO FINALE

• trasformatore di stati: prendo un comando del tipo:

ST_INIT = {}

int x, y [ iniziali: 223. Var intere ]

{ x, y } ∈ Z

{ x, 0, 2y, x } ⇐ 0

{ x, 0, y, 123 y = x + 1

Se io ho solo y = x + 1 ...

{ ⟨ x, k ⟩ , ⟨ y, l ⟩ }

⟶ { ⟨ x, h ⟩ , ⟨ y, h + 1 ⟩ }

TUTTA LA COMPONENTE ITERATIVA È INTERPRETABILE SOLO UNA FUNZIONE CHE PRENDE UNO STATO E NE ASSOCIA UN ALTRO.

• Per costruire la semantica cerco di capire la struttura della sintassi ed i suoi operatori

Stato

Insieme di coppie dove ad ogni variabile è associato un valore

{ ⟨ x1, k1⟩ , ⟨ xn, kn⟩ }

⟨ 4 x 3

⟩

⟨ 7

⟩

→ devo vedere quanto vale x3 e poi sommare

{x₁,5>,<x₂,4>,<x₃,6>}

Z

x₃+x₂>24

x₃+7=13

B → booleani

x₄+7 non ha significato se x₄ è un booleano.

wrt x₁,x₂,x₃

bool x₄

x₄+7 → ERRORE! L’operatore “+” è applicato ad unavariabile che può non essere intera.

∼ COMANDI DI BASE

• Assegnamento

x ← e

X₂ ← x₃+x₂

X₂ = 10

Stato aggiornato,

tutto uguale inc <x=10>

• Comandi condizionali

if (e)

C1

else

C2

{

C1 e C2 possono essere comandi.

Valuto e; se è un valore vero eseguo un comando, altrimenti l’altro.

}

if (x₁<x₂) ∼ il valore associato alla var x₁ èminore di x₂?

x₁ ← x₂

NO! Quindi x₂ prende il valore di x₁.

else

x₂ ← x₁

ASSEGNA IL MASSIMO AL PIÙ PICCOLO

Data una funzione c’è sempre un programma che me lacalcola? NO.

if ( x₁ < x₂ )

annullamento if ( x₁ > x₂ )

else x₂ <= x₁

else x₂ < x₁

{ x₄ }

x₁ <= 10

else x₂ < 10

f(x) = {2 se x > 0

8 se x <= 0

Può essere una funzione condizionale :

if x < 0

else f(x)

f(x = 0)

if ( x < 0 )

if ( x = 0 )

if ( x > 0 )

• switch ( e )
• case e v₁ c₁
• case e v₂ c₂

equivale a

if ( CE₁ = = v₁ ) c₁

if ( CE₂ = = v₂ ) c₂ ->

Altro