La logique informatique
(selon les travaux de J.D WARNIER)
L.C.P Logique de construction de programmes
La structure des données à l'entrée du programme (F.L.E)
Nous avons vu précédemment comment exprimer les données que l'on doit obtenir en sortie du programme.
Vous conviendrez qu'il faut bien entendu ajouter au F.L.S un tableau très simple afin d'indiquer :
- Les données d'entrée nécessaires
- Les calculs à effectuer
- Les conditions d'apparition des S-E conditionnés
J'en conviendrais avec vous, la plupart du temps nous ne faisons pas ce tableau car nous l'avons en tête, mais comme nous sommes en pleine théorie, ce tableau (où qu'il se trouve !) est indispensable.
Maintenant que nous connaissons l'ensemble (défini en extension) des données nécessaires à l'entrée du programme, et également sous quelle forme elles se trouvent, il nous faut définir la structure de l'ensemble des données à l'entrée du programme.
C'est de cette structure que nous déduirons la structure du programme.
Pour découvrir la structure des données d'entrée (F.L.E : Fichier Logique d'Entrée) on procède comme pour les données en sortie, en partant de l'ensemble que l'on subdivise successivement niveau par niveau. La seule différence, mais elle est essentielle, provient de ce que l'on subdivise chaque ensemble, non pas parce qu'il est présent, un nombre de fois différent de 1, mais lorsqu'il est utilisé un nombre de fois différent de 1.
Le critère de subdivision de l'ensemble des données à l'entrée est le suivant :
On subdivise un ensemble de données à l'entrée s'il contient des S-Ensembles utilisés un nombre de fois différent de 1.
Nous allons maintenant étudier toutes les structures possibles que l'on pourra rencontrer dans un programme. Mais sachez d'ores et déjà, que quelque soit la complexité d'un programme, celui-ci sera construit à l'aide de deux structures élémentaires seulement :
La structure répétitive
La structure alternative
Et bien commençons l'étude de toutes ces structures,