Discussion:Réécriture (informatique)
Cet article est indexé par les projets Informatique, Langues et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | Faible |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
| À évaluer |  | Langues (discussion • critères • liste • stats • hist. • comité • stats vues) | |
 | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | ||
Cet article comporte une liste de tâches suggérées :
Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Calcul , Graphe ⇒ Quelques explications pour effectuer ces corrections. -- 6 février 2018 à 13:14 (CET)
Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
- Modèle {{ Ouvrage }} : l'argument «
adresse = Katowice ↵» ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans l'en-tête) -- 9 novembre 2021 à 20:15 (CET)
- Modèle {{ Ouvrage }} : l'argument «
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)
Forme normale vs irreductible[modifier le code]
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)
L'analyse syntaxique[modifier le code]
Il y a une erreur dans la vision de l'analyse syntaxique comme système de réécriture. En effet analyser la phrase « le chat dort » consiste à réécrire cette phrase vers PHRASE et non dans l'autre direction comme cela est expliquée dans l'article. --Pierre de Lyon (discuter) 18 mai 2017 à 22:53 (CEST)
Tu as raison. L'exemple donné c'est de la "génération de phrases". J'ai enlevé "analyse syntaxique" ici. --Fschwarzentruber (discuter) 19 mai 2017 à 10:43 (CEST)
- Tu aurais pu laisser "analyse syntaxique", en indiquant dans quel sens fonctionne la réécriture. J'ai déjà vu cette manière de décrire l'analyse syntaxique. --Pierre de Lyon (discuter) 21 mai 2017 à 17:23 (CEST)
- As-tu une ref ? --Fschwarzentruber (discuter) 21 mai 2017 à 18:29 (CEST)
- Pas près de moi. --Pierre de Lyon (discuter) 27 octobre 2017 à 19:19 (CEST)
- As-tu une ref ? --Fschwarzentruber (discuter) 21 mai 2017 à 18:29 (CEST)
Système de Post[modifier le code]
L'article Système de Post est orphelin. Quelqu'un peut comparer ces deux modèles ? (je ne suis pas assez spécialiste) --Fschwarzentruber (discuter) 27 octobre 2017 à 10:40 (CEST)