Invariant

Algorithmique Un algorithme est une suite finie et non ambiguë d’opérations ou d’instructions à réaliser afin de résoudre un problème. En informatique, pour qu’un algorithme puisse être implémenté, il est nécessaire de s’assurer que la « suite finie et non ambiguë d’opérations ou d’instructions à réaliser » s’effectue en une durée finie . Lorsqu’on élabore ou étudie un algorithme, il est donc nécessaire de vérifier : Sa finitude : Il doit se terminer en un temps fini. [Lire]