next up previous contents
suivant : 2.2.2 Fin de l'exemple remonter : 2.2 Terminaison précédent : 2.2 Terminaison

2.2.1 Le principe

La démonstration ci-dessus est incomplète, d'une part on n'a pas démontré que le programme s'arrêtait, et de plus rien ne montre (pour le moment) que s'il s'arrête, on aura bien $0 \leq r <
b$. On montre qu'un programme s'arrête en prouvant que la séquence formée par les valeurs des variables au fil des itérations converge vers une valeur satisfaisant la condition d'arrêt.



Alexandre
2009-07-20