ED2 - Laure

x←0
[x= 0]
x←x+ 1
x←x+ 1
x←1 + x
y←−1
[x= 3, y =−1]
x←x+y
y←y−x
x←x+y
y←y−x
x←x+y
y←y−x
x y

6=6=
a≡( (a)) (a b)≡
(a) (b) (a b)≡(a) (b)
>=
x6= 0
x≥0
x≤0
x < 0
(x≤0) =
((x6= 0) = )
(x≤0x= 0)
(a<b) ((a>b) (a < c))
((a < b) (b < c)) (a > b)
( (a)b)b
(a b) (a)
(a<b) ((b < c) (a<b))
(a≤b)(b<c) (a < b)
x=y=z
x, y, z
x<y≤z
x, y, z
x, y, z
x, y, z