Propriété de church-rosser

Propriété de church-rosser

Propriété de Church-Rosser

Soit R un système de réécriture. Notons \rightarrow_R la relation de réduction, \rightarrow_R^* sa clôture réflexive et transitive, ainsi que \leftrightarrow_R^* sa clôture réflexive, transitive et symétrique.

On dit que R a la propriété de Church-Rosser si pour tous les termes M1,M2 tels que M_1 \leftrightarrow_R^* M_2, il existe un terme M' tel que M_1 \rightarrow_R^* M' et M_2 \rightarrow_R^* M'.

Cette propriété est équivalente à la propriété de confluence, notion de premier ordre dans la théorie des bases de Gröbner (en particulier dans la définition même de ces bases).

  • Portail de l’informatique Portail de l’informatique
  • Portail de la logique Portail de la logique
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Propri%C3%A9t%C3%A9 de Church-Rosser ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Propriété de church-rosser de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Propriete de Church-Rosser — Propriété de Church Rosser Soit R un système de réécriture. Notons la relation de réduction, sa clôture réflexive et transitive, ainsi que sa clôture réflexive, transitive et symétrique. On dit que R a la propriété de Church Rosser si pour tous… …   Wikipédia en Français

  • Propriété de Church-Rosser — Soit R un système de réécriture. Notons la relation de réduction, sa clôture réflexive et transitive, ainsi que sa clôture réflexive, transitive et symétrique. On dit que R a la propriété de Church Rosser  …   Wikipédia en Français

  • Alonzo Church — Pour les articles homonymes, voir Alonzo et Church. Alonzo Church Naissance 14 juin 1903 Washington, D.C., (États Unis) Décès 11 août  …   Wikipédia en Français

  • Systeme F — Système F Pour les articles homonymes, voir System F (homonymie). Le système F (également connu sous le nom de lambda calcul polymorphe ou de lambda calcul du second ordre) est une extension du lambda calcul simplement typé introduite… …   Wikipédia en Français

  • Système F — Pour les articles homonymes, voir System F (homonymie). Le système F (également connu sous le nom de lambda calcul polymorphe ou de lambda calcul du second ordre) est une extension du lambda calcul simplement typé introduite indépendamment par le …   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 (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

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   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

Share the article and excerpts

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