Re: Exemples concrets?

Je m'excuse mais tu m'as perdu.

Pour rappel sur ton exemple:

(par exemple, A écrit "a" dans un fichier, et B écrit "b" au même endroit),

A a produit "a"
B a produit "b"

C a résolu le conflit en "c" par exemple et a été résolu dans e2

Si on reprend mon formalisme, la personne qui détient e3 est donc initialement dans l'état:
e3={B}

En introduisant un change sur les lignes de B, on modifie toujours la même ligne par exemple:
pour lui "b" devient "tadaaa"

Je correspond à ton exemple ici:

Maintenant, la personne qui a produit B continue à travailler, pour produire par exemple F (on pourrait dire que F change toutes les lignes introduites par B, et ne fait que ça).

On produit F avec "tadaa" à la place de "b"

Lorsqu'il recorde dans e3, il a :
e3={B<-F}
et pas :

e3 = {B, F}
non ?

Après, si on incorpore dans e2 on a forcément un conflit à résoudre aussi
e2={A<-C->B, D<-E, B<-F}

Je dois bien résoudre mon fichier qui contient actuellement "c" et il me demande de résoudre avec "tadaa"

(je vais changer la notation pour récursive dans les dépendances)
Il sera résolu en F avec "tutu"

e2={ D<-E, F->(B, C->(A,B)) }

Je vais essayer de le rejouer avec Pijul pour voir le résultat
et essayer de comprendre.
Je ne vois toujours pas le rapport avec rerere dans cet exemple mais je crois que je peux essayer d'en construire un autre. Je vais creuser.