1 transparent par page - Montefiore

Démonstration :
◮ Soit la variable dérivée v : Q → N + To1 :
v((x, y)) = y + x
x + 1 .
◮ Chaque transition (x, y) → (x ′ , y ′ ) est telle que
v((x ′ , y ′ )) < v((x, y)) et donc v est une variable strictement
décroissante.
◮ L’ensemble N + To1 étant bien ordonné (voir transp. 41), v finira
par atteindre son minimum.
◮ Le seul état sans transition étant (0, 0), la machine ne peut s’arrêter
que dans cet état.
105