“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 45 — #55
i
i
i
i
i
i
i
i
2.2 La mémoire à affectation unique
45
x
1
person
25
"George"
name
age
"X"
"Y"
Dans la mémoire
2
x
Figure 2.13 Une valeur complète ; c’est une valeur partielle sans variables non liées.
2.2.7 Les liens variable-variable
Une variable peut être liée à une autre variable. Par exemple, prenons les deux variables
non liées x 1 et x 2 référencées par les deux identificateurs X et Y. Après le lien X=Y,
nous obtenons la situation de la figure 2.14. Les deux variables x 1 et x 2 sont égales.
La figure montre cette égalité par un lien de chaque variable vers l’autre. Nous disons
que {x 1 , x 2 } forment un ensemble d’équivalence.
5 Nous l’écrivons aussi x 1 = x 2 .
Avec trois variables liées ensemble on écrit x 1 = x 2 = x 3 ou {x 1 , x 2 , x 3 }. Dans une
figure, nous dessinons ces variables en chaîne circulaire. Quand une variable dans un
ensemble d’équivalence est liée, toutes les variables sont liées à la même valeur. La
figure 2.15 montre le résultat du lien X=[1 2 3].
x
1
"X"
"Y"
2
Dans la mémoire
x
Figure 2.14 Deux variables liées entre eux.
5. D’un point de vue formel, l’opération d’égalité partitionne la mémoire en classes d’équivalence.
© Dunod – La photocopie non autorisée est un délit