Discuter:Réécriture (informatique)

Un article de Wikipédia, l'encyclopédie libre.

	Réécriture (informatique) fait partie du projet Informatique, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à l'informatique. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail informatique pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet. (Contester?)

	Réécriture (informatique) fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

Ma contribution est une refonte complète de la dernière version, avec des définitions plus précises dans les trois cadres classiques (mots, termes, et lambda-calcul).

J'ai conservé l'essentiel du contenu, sauf le point suivant : dans la théorie classique, les membres gauches du type aXb, où la variable X désigne un mot quelconque, ne sont pas admis pour les régles de réécriture de mots.

J'ai l'intention de compléter cet article avec une section sur le problème du mot et une autre sur l'homologie.

--Yves.Lafont 30 juin 2006 à 18:48 (CEST)

Finalement, j'ai rajouté une section sur l'homologie et une autre sur la dimension supérieure. Ces sections présentent des résultats moins classiques que les précédentes, mais cette direction de recherche me semble très prometteuse. Il faudra ajouter une bibliographie.

--Yves.Lafont 3 août 2006 à 18:38 (CEST)

[modifier] Forme normale vs irreductible

Pour moi « la » forme normale est le terme atteint quand ce terme est peut-être démontré unique (système de récriture normalisant). Dans le cas le cas d'un terme qui ne réduit pas, je l'appelle irréductible. Pierre de Lyon 15 septembre 2006 à 14:44 (CEST)