Chapitre 5. Énoncés structurés

Les actions que nous avons étudiées jusqu’à présent sont des actions élémentaires. Une action structurée est formée à partir d’autres actions, qui peuvent être elles-mêmes élémentaires ou structurées. Dans ce chapitre, nous présenterons deux premières actions structurées, l’énoncé composé et l’énoncé conditionnel, et pour chacune d’entre elles la règle de déduction qui permet d’en vérifier la validité.
Comme pour les expressions, il est possible de parenthéser une suite d’actions. L’énoncé composé groupe des actions qui sont ensuite considérées comme une seule action. Dans notre notation algorithmique, les énoncés à composer seront placés entre les deux parenthéseurs début et fin. Par exemple, la composition de trois énoncés E1, E2, E3 s’écrit de la façon suivante :
Les trois énoncés sont exécutés de façon séquentielle, c’est-à-dire successivement les uns après les autres. L’énoncé E2 ne pourra être traité qu’une fois l’exécution de l’énoncé E1 achevée. De même, l’exécution de E3 ne commencera qu’après la fin de celle de E2.
La notion d’exécution séquentielle est à mettre en opposition avec celle d’exécution parallèle, qui permettrait le traitement simultané des trois énoncés. La vérification de la validité des algorithmes parallèles, surtout si les actions s’exécutent de façon synchrone, est beaucoup plus complexe et difficile à mettre en œuvre que celle des algorithmes séquentiels. Les algorithmes présentés dans cet ouvrage sont exclusivement séquentiels.La règle de déduction d’un énoncé composé s’exprime de la façon suivante …