Confluence (informatique)
- Confluence (informatique)
-
La confluence d'un système de réécriture 
est définie comme la propriété suivante :
Pour tous termes M,M1,M2 tels que 
et 
, il existe M' tel que 
et 
.
La confluence est équivalente à la propriété de Church-Rosser.
Le lemme de Newmann énonce qu'un système de réécriture qui termine et qui est localement confluent est confluent.
On voit que le système localement confluent A ← B ↔ C → D ne termine pas et n'est pas confluent, en effet A ← B → → D et il n'y a pas de E tel que A → E ← D.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Confluence (informatique) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
INFORMATIQUE ET SCIENCES HUMAINES - Art et informatique — L’utilisation d’ordinateurs pour des fins artistiques s’inscrit dans la généralisation de l’emploi de l’outil informatique. Mais elle résulte aussi d’un détournement: l’ordinateur, en effet, n’a pas été conçu pour l’art. Ses caractéristiques… … Encyclopédie Universelle
Confluence (logiciel) — Pour les articles homonymes, voir Confluence. Confluence … Wikipédia en Français
Confluence — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le terme confluence est utilisé dans plusieurs domaines dont : En informatique : la confluence est une propriété d un système de réécriture qui… … Wikipédia en Français
Reecriture (informatique) — Réécriture (informatique) Pour les articles homonymes, voir Réécriture. La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets… … Wikipédia en Français
Réécriture (informatique) — Pour les articles homonymes, voir Réécriture. La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets syntaxiques (mots, termes,… … Wikipédia en Français
Art informatique — Art numérique L art numérique s est développé comme genre artistique depuis près de 20 ans et désigne un ensemble varié de catégories de création utilisant les spécificités du langage numérique. Portée par la puissance de calcul de l ordinateur… … Wikipédia en Français
Réécriture (arithmétique) — Réécriture (informatique) Pour les articles homonymes, voir Réécriture. La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets… … Wikipédia en Français
Système de réécriture — Réécriture (informatique) Pour les articles homonymes, voir Réécriture. La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets… … Wikipédia en Français
Angers — Pour l’article homonyme, voir Angers (patronyme). … Wikipédia en Français
Lyon — Cet article concerne la ville française. Pour les autres significations, voir Lyon (homonymie). 45° 45′ 35″ N 4° 50′ 32″ … Wikipédia en Français
Pour les articles homonymes, voir Confluence.
