Lazi

ligne de destins dans un calcul c

Contexte

Pour chaque nœud d'une trace on peut associer un destin. Donc idem pour une ligne de trace. À partir d'une ligne de traces nous allons définir la ligne de destins correspondante.

Définition

Soit t une trace d'un calcul c et lt une ligne de traces de t. On dit que ld est la ligne de destins correpondante à lt ssi ld est la liste de même longueur que lt et où l'élément en n est le destin du SFP de lt en n.