1 transparent par page - Montefiore

Exercices
Montrez par induction forte que le nombre de transition de la machine
d’état de l’algorithme d’exponentiation s’arrêtera après ⌈log 2 n⌉ + 1
transitions à partir d’un état où z = n = 0 ∈ N.
Montrer que l’algorithme du transparent 91 est totalement correct pour
les précondition et postcondition suivantes :
Pre((x, y)) = ”x > 0 et y > 0”
Post((x, y)) = ”x est le plus grand commun diviseur de a et b”
101