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.
​
​