Confluence
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

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 (La confluence d'un système de réécriture est définie comme la propriété suivante :) 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 (Un confluent, ou point de confluence, est le lieu où se rejoignent deux (parfois plus) cours d'eau.) est confluent.

La propriété du diamant (Le diamant est un minéral composé de carbone (tout comme le graphite et la lonsdaléite), dont il représente l'allotrope de haute pression, qui cristallise dans le système cristallin cubique. C'est...) implique aussi la confluence du système.

Page générée en 0.026 seconde(s) - site hébergé chez Amen
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
Ce site est édité par Techno-Science.net - A propos - Informations légales
Partenaire: HD-Numérique