Confluence

Infos
Confluence

En informatique :

La confluence d'un système de réécriture \rightarrow_R est définie comme la propriété suivante : Pour tous termes M, M_1, M_2 tels que M \rightarrow_R^
- M_1 et M \rightarrow_R^
- M_2, il existe M' tel que M_1 \rightarrow_R^
- M' et M_2 \rightarrow_R^
- M'. La confluence est trivialement équivalente à la propriété de Church-Rosser. Le lemme de Newmann énonce qu'un système de réécriture terminant et localement confluent est confluent. La propriété du diamant implique aussi la confluence du système.

En géographie

La confluence est le point où une rivière ou un affluent (ou plusieurs) se jette(nt) dans un fleuve.

En culture cellulaire

La confluence est un terme de culture cellulaire qui décrit le degré d'écartement qui existe entre cellules adhérantes cultivées en monocouche sur un support approprié. Pour exemple 100% de confluence décrit un tapis cellulaire ne présentant aucune interstice entre chaque cellule , en clair elles se touchent toutes. Catégorie:Informatique théorique Catégorie:Réécriture
Sujets connexes
Confluence   Confluent   Fleuve   Propriété de Church-Rosser   Rivière   Réécriture (informatique)   Terminaison d'un système de réécriture  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^