Pierre Lefebvre
Résolution de problèmes
5
Terminologie
• Les trois schémas de décomposition : séquence, alternative et répétition,
sont suffisants pour énoncer n'importe quel algorithme. Il en résulte que tout
processeur devra être capable de les comprendre, et que tout langage de
programmation sera capable de les coder
• Lorsque les actions abstraites qui interviennent dans un algorithme ne sont
pas spécifiées, il est beaucoup de questions auxquelles il est impossible de
répondre. Le simple énoncé du nom d'une action à réaliser est loin d'être
suffisant pour définir avec précision la situation dans laquelle on se trouvera
lorsque l'on voudra réaliser l'action suivante
◊ Spécification : description d'une action en termes d'état initial et d'état
final
◊ Action spécifiée : abstraction sur laquelle on peut raisonner
Objets mis en oeuvre dans un
algorithme
• On appelle contexte d'exécution d'un algorithme l'ensemble des objets
accessibles au processeur pendant le déroulement de l'algorithme. Chacun de
ces objets possède trois caractéristiques :
◊ un nom qui permet de le désigner,
◊ un type qui fixe l'ensemble des valeurs qu'il peut prendre et les actions
qui peuvent porter sur lui
◊ une valeur sur laquelle va effectivement porter l'action du processeur
• On appelle primitives de déclaration les primitives permettant de déclarer à
un processeur les objets auxquels il peut accéder, en précisant pour chaque
objet :
◊ le nom par lequel il sera désormais désigné
◊ le type auquel il appartient
• Ces primitives seront toujours les premières d'un algorithme