Confluence (informatique)
De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Confluence.
En mathématiques, ou en informatique, la confluence d'une relation binaire est définie comme la propriété suivante :
- Pour tous éléments tels que et , il existe un élément tel que et .
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
La confluence est équivalente à la propriété de Church-Rosser.