Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Esempio 5. Consideriamo il caso di una variabile di tipo int.Nel linguaggio<br />
java questa variabile occupa 16 bit. Il suo intervallo di rappresentazione è<br />
[−32768, 32767]. È interessante notare che i numeri positivi hanno il bit α0 = 0;<br />
di contro i numeri negativi hanno il bit α0 = 1.<br />
2.3.2 Numeri reali<br />
Un numero reale viene memorizzato, nel calcolatore, mediante una stringa di<br />
m + 1 + s cifre nel seguente modo:<br />
dove b ∈ N è la base del numero e<br />
α0α1 · · · αmβ1 · · · βs<br />
(2.9)<br />
α0 ∈ {+, −}, αi, βj ∈ {0, 1, · · · , b − 1} i = 1, · · · , m, j = 1, · · · , s e α1 = 0<br />
Definiamo rispettivamente la mantissa e l’esponente<br />
ρ =<br />
m<br />
i=1<br />
αib 1−i = α1b 0 + α2b −1 + · · · + αnb 1−m<br />
<br />
α1,α2,··· ,αm<br />
(2.10)<br />
η = e − ν (2.11)<br />
La stringa 2.9 andrà a denotare il numero reale r definito di seguito:<br />
r = ± m <br />
i=1<br />
αib 1−i b e−ν , dove e =<br />
s<br />
βjb s−j<br />
j=1<br />
(2.12)<br />
Il numero ν ∈ N è fissato a priori, in modo tale da dividere circa a metà l’intervallo<br />
dei numeri che si possono formare con e bit. Questo viene fatto per evitare<br />
di sprecare un bit per il segno. Infatti il numero ν rappresenta uno shift. Allora<br />
il numero 2.11 risulterà sempre positivo.<br />
Teorema 1. ρ un numero tale che 1 ≤ ρ < b<br />
Vediamo che ρmin ≥ 1; Il minimo valore che può assumere ρ, sia esso ρmin, si<br />
ha quando αi = 0, i = 2, · · · , m e α1 = 1. Quindi<br />
ρmin = α1b 0 + α2b −1 + · · · + αmb 1−m<br />
= α1b<br />
<br />
0<br />
0 ≥ 1.<br />
Invece il massimo valore che può assumere ρ, sia esso ρmax, si ha quando αi =<br />
b − 1, i = 1, · · · , m. Quindi<br />
m<br />
ρmax = (b−1)·b 1−i m<br />
= (b−1)·b b −i 1 − b−m<br />
= (b−1)·b·<br />
b − 1 = b·(1−b−m ) ≤ b<br />
i=1<br />
i=1<br />
Teorema 2. e è un numero tale che −ν ≤ e ≤ b s − 1 − ν.<br />
La dimostrazione di questo teorema è del tutto analoga a quella del teorema 1.<br />
9