Confluence (informatique)


Confluence (informatique)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Confluence.

La confluence d'un système de réécriture \rightarrow_R est définie comme la propriété suivante :

Pour tous termes M,M1,M2 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 é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


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.