La logique informatique
(selon les travaux de J.D WARNIER)
L.C.P Logique de construction de programmes
Le Fichier Logique de Sortie (F.L.S) d'un programme.
Voici la bonne solution :
Les ensembles de données hiérarchisés à obtenir
Sous quelle forme
Dans une subdivision hiérarchique, nous noterons à gauche de l'accolage, le référentiel de l'ensemble (sa définition par compréhension), à droite, son contenu, soit des données présentes (1 fois), soit d'autres Sous-ensembles présents (n) fois ou (0-1) fois, et tout ceci dans l'ordre d'apparition sur le modèle de sortie (de haut en bas et de la gauche vers la droite !)
Afin d'effectuer une subdivision hiérarchique,
Il faut bien sûr disposer d'une règle de subdivision !
Voici la règle de subdivision concernant la subdivision hiérarchique du F.L.S :
On subdivise un ensemble
s'il comprend des Sous-Ensembles présent un nombre de fois différent de 1.