1 transparent par page - Montefiore

Exemple
Soit le programme suivant (en notation pseudo-code) :
1 x = a ; y = b
2 while x = y
3 if x > y
4 x = x − y
5 elseif x < y
6 y = y − x
La machine d’état (Q, Qo, δ) correspondante est définie par :
◮ Q = {(x, y)|x, y ∈ Z}
◮ Q0 = {(a, b)}
◮ δ =
(x, y) →
(x − y, y) si x > y
(x, y − x) si x < y
91