« Algorithmique/Preuve d'arrêt » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-(\.|\:|\?|!|==) A +\1 À ) |
→Quelques exemples : maintenance - wikification |
||
Ligne 13 :
== Quelques exemples ==
Rien de mieux qu'un exemple pour comprendre ce qu'est la preuve d'arrêt.
Imaginons un algorithme tel que :
i = 1<br />▼
Tant que i < 10<br />▼
Fin tant que<br />▼
Fin}}▼
{{Exemple
Ici le problème est simple : On réalise une condition qui sera toujours vérifiée car la variable reste identique. L'algorithme tournera alors à l'infini.<br /><br />▼
| contenu =
<source lang="text">
Début
Afficher i
</source>
}}
▲Ici le problème est simple : On réalise une condition qui sera toujours vérifiée car la variable reste identique. L'algorithme tournera alors à l'infini.
Voyons un autre exemple :
{{Exemple
i = 100<br />▼
| contenu =
Tant que i > 0<br />▼
<source lang="text">
Début
Fin tant que <br />▼
Fin}}▼
Afficher i
i = i-1
</source>
}}
Là, l'algorithme s'arrête. Voyons comment noter la preuve de cet arrêt.
| |||