Définition :
On se donne un ensemble(fini) de nœuds : T
Une relation « de succession » : s sur T telle que
(i) -(un nœud initial)
(ii) -(un
prédécesseur unique)
(iii) Si on note on doit avoir,
-
(pas de cycle)
Définition :
On se donne un ensemble(fini) de nœuds : T
Une relation « de succession » : s sur T telle que
(i) -(un nœud initial)
(ii) -(un
prédécesseur unique)
(iii) Si on note on doit avoir,
-
(pas de cycle)